On the independence of a generalized statement of Egoroff's theorem from ZFC, after T.Weiss
Abstract
We consider a generalized version (GES) of the wellknown Severini-Egoroff theorem in real analysis, first shown to be undecidable in ZFC by Tomasz Weiss. This independence is easily derived from suitable hypotheses on some cardinal characteristics of the continuum like b and o, the latter being the least cardinality of a subset of [0,1] having full outer measure.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.