English

Strong Measure Zero Sets on $2^\kappa$ for $\kappa$ Inaccessible

Logic 2025-12-11 v4

Abstract

We investigate the notion of strong measure zero sets in the context of the higher Cantor space 2κ2^\kappa for κ\kappa at least inaccessible. Using an iteration of perfect tree forcings, we give two proofs of the relative consistency of 2κ=κ+++X2κ: X is strong measure zero if and only if Xκ+. |2^\kappa| = \kappa^{++} + \forall X \subseteq 2^\kappa:\ X \text{ is strong measure zero if and only if } |X| \leq \kappa^+. Furthermore, we also investigate the stronger notion of stationary strong measure zero and show that the equivalence of the two notions is undecidable in ZFC.

Keywords

Cite

@article{arxiv.1908.10718,
  title  = {Strong Measure Zero Sets on $2^\kappa$ for $\kappa$ Inaccessible},
  author = {Nick Steven Chapman and Johannes Philipp Schürz},
  journal= {arXiv preprint arXiv:1908.10718},
  year   = {2025}
}
R2 v1 2026-06-23T10:58:59.208Z