English

The Hurewicz dichotomy for generalized Baire spaces

Logic 2016-11-18 v2

Abstract

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space XX is covered by a KσK_\sigma subset of XX if and only if it does not contain a closed-in-XX subset homeomorphic to the Baire space ωω{}^\omega \omega. We consider the analogous statement (which we call Hurewicz dichotomy) for Σ11\Sigma^1_1 subsets of the generalized Baire space κκ{}^\kappa \kappa for a given uncountable cardinal κ\kappa with κ=κ<κ\kappa=\kappa^{<\kappa}, and show how to force it to be true in a cardinal and cofinality preserving extension of the ground model. Moreover, we show that if the Generalized Continuum Hypothesis (GCH) holds, then there is a cardinal preserving class-forcing extension in which the Hurewicz dichotomy for Σ11\Sigma^1_1 subsets of κκ{}^\kappa \kappa holds at all uncountable regular cardinals κ\kappa, while strongly unfoldable and supercompact cardinals are preserved. On the other hand, in the constructible universe L the dichotomy for Σ11\Sigma^1_1 sets fails at all uncountable regular cardinals, and the same happens in any generic extension obtained by adding a Cohen real to a model of GCH. We also discuss connections with some regularity properties, like the κ\kappa-perfect set property, the κ\kappa-Miller measurability, and the κ\kappa-Sacks measurability.

Keywords

Cite

@article{arxiv.1506.03364,
  title  = {The Hurewicz dichotomy for generalized Baire spaces},
  author = {Philipp Luecke and Luca Motto Ros and Philipp Schlicht},
  journal= {arXiv preprint arXiv:1506.03364},
  year   = {2016}
}

Comments

33 pages, final version

R2 v1 2026-06-22T09:51:09.430Z