Partitioning the real line into Borel sets
Abstract
For which infinite cardinals is there a partition of the real line R into precisely Borel sets? Hausdorff famously proved that there is a partition of R into 1 Borel sets. But other than this, we show that the spectrum of possible sizes of partitions of R into Borel sets can be fairly arbitrary. For example, given any A ⊂eq ω with 0,1 ∈ A, there is a forcing extension in which A = \ n :\, there is a partition of R into n Borel sets\. We also look at the corresponding question for partitions of R into closed sets. We show that, like with partitions into Borel sets, the set of all uncountable such that there is a partition of R into precisely closed sets can be fairly arbitrary.
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.