Menger and consonant sets in the Sacks model
arXiv:2406.05457 · doi:10.1017/jsl.2025.21
Abstract
Using iterated Sacks forcing and topological games, we prove that the existence of a totally imperfect Menger set in the Cantor cube with cardinality continuum is independent from ZFC. We also analyze the structure of Hurewicz and consonant subsets of the Cantor cube in the Sacks model.
26 pages