Splitting families and the Noetherian type of βω-ω
Abstract
Extending some results of Malykhin, we prove several independence results about base properties of βω-ω and its powers, especially the Noetherian type Nt(βω-ω), the least for which βω-ω has a base that is -like with respect to containment. For example, Nt(βω-ω) is never less than the splitting number, but can consistently be that ω1, 2ω, (2ω)+, or strictly between ω1 and 2ω. Nt(βω-ω) is also consistently less than the additivity of the meager ideal. Nt(βω-ω) is closely related to the existence of special kinds of splitting families.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.