By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space X is covered by a K_\sigma subset of X if and only if it does not contain a closed-in-X subset homeomorphic to the Baire space {}^\omega \omega. We consider the analogous statement (which we call the Hurewicz dichotomy) for \Sigma^1_1 subsets of the generalized Baire space {}^\kappa \kappa for a given uncountable cardinal \kappa with \kappa = \kappa^{<\kappa}. We show that the statement that this dichotomy holds at all uncountable regular cardinals is consistent with the axioms of ZFC together with GCH and large cardinal axioms. In contrast, we show that the dichotomy fails at all uncountable regular cardinals after we add 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.

The Hurewicz dichotomy for generalized Baire spaces

MOTTO ROS, Luca;
2016-01-01

Abstract

By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space X is covered by a K_\sigma subset of X if and only if it does not contain a closed-in-X subset homeomorphic to the Baire space {}^\omega \omega. We consider the analogous statement (which we call the Hurewicz dichotomy) for \Sigma^1_1 subsets of the generalized Baire space {}^\kappa \kappa for a given uncountable cardinal \kappa with \kappa = \kappa^{<\kappa}. We show that the statement that this dichotomy holds at all uncountable regular cardinals is consistent with the axioms of ZFC together with GCH and large cardinal axioms. In contrast, we show that the dichotomy fails at all uncountable regular cardinals after we add 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.
2016
216
2
973
1022
https://arxiv.org/abs/1506.03364
Generalized Baire space, Hurewicz dichotomy, perfect set ptoperty, Miller measurability, Sacks measurability
Luecke, Philipp; Motto Ros, Luca; Schlicht, Philipp
File in questo prodotto:
File Dimensione Formato  
Luecke-MottoRos-Schlicht_The Hurewicz dichotomy for generalized Baire spaces_published.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 740.29 kB
Formato Adobe PDF
740.29 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1561509
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? 8
social impact