English

Splitting families and the Noetherian type of $\beta\omega-\omega$

Logic 2010-01-05 v2 General Topology

Abstract

Extending some results of Malykhin, we prove several independence results about base properties of βωω\beta\omega-\omega and its powers, especially the Noetherian type Nt(βωω)Nt(\beta\omega-\omega), the least κ\kappa for which βωω\beta\omega-\omega has a base that is κ\kappa-like with respect to containment. For example, Nt(βωω)Nt(\beta\omega-\omega) is never less than the splitting number, but can consistently be that ω1\omega_1, 2ω2^\omega, (2ω)+(2^\omega)^+, or strictly between ω1\omega_1 and 2ω2^\omega. Nt(βωω)Nt(\beta\omega-\omega) is also consistently less than the additivity of the meager ideal. Nt(βωω)Nt(\beta\omega-\omega) is closely related to the existence of special kinds of splitting families.

Keywords

Cite

@article{arxiv.0705.4297,
  title  = {Splitting families and the Noetherian type of $\beta\omega-\omega$},
  author = {David Milovich},
  journal= {arXiv preprint arXiv:0705.4297},
  year   = {2010}
}

Comments

This version accepted for publication by Journal of Symbolic Logic. Fixed typos. Removed Lemma 5.10 due to bug in its proof