English

Partitions of Baire space into compact sets

Logic 2025-05-08 v3

Abstract

Under CH\text{CH} we construct a partition of Baire space into compact sets, which is indestructible by countably supported iteration and product of Sacks forcing of any length, answering a question of Newelski. Further, we present an in-depth isomorphism-of-names argument for spec(aT)={1,c}\text{spec}(\mathfrak{a}_\text{T}) = \{\aleph_1, \mathfrak{c}\} in the product-Sacks model. Finally, we prove that Shelah's ultrapower model for the consistency of d<a\mathfrak{d} < \mathfrak{a} also satisfies a=aT\mathfrak{a} = \mathfrak{a}_\text{T}. Thus, consistently 1<d<a=aT\aleph_1 < \mathfrak{d} < \mathfrak{a} = \mathfrak{a}_\text{T} holds relative to a measurable.

Keywords

Cite

@article{arxiv.2312.09994,
  title  = {Partitions of Baire space into compact sets},
  author = {Vera Fischer and Lukas Schembecker},
  journal= {arXiv preprint arXiv:2312.09994},
  year   = {2025}
}

Comments

22 pages, revision

R2 v1 2026-06-28T13:52:43.477Z