The Hurewicz dichotomy for generalized Baire spaces
Abstract
By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space is covered by a subset of if and only if it does not contain a closed-in- subset homeomorphic to the Baire space . We consider the analogous statement (which we call Hurewicz dichotomy) for subsets of the generalized Baire space for a given uncountable cardinal with , 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 subsets of holds at all uncountable regular cardinals , while strongly unfoldable and supercompact cardinals are preserved. On the other hand, in the constructible universe L the dichotomy for 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 -perfect set property, the -Miller measurability, and the -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