The Hurewicz dichotomy for generalized Baire spaces

DOI10.1007/S11856-016-1435-1zbMATH Open1397.03054arXiv1506.03364OpenAlexW628447623MaRDI QIDQ503280FDOQ503280

Authors: Philipp Lücke, Luca Motto Ros, Philipp Schlicht 

Publication date: 11 January 2017

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: By classical results of Hurewicz, Kechris and Saint-Raymond, an analytic subset of a Polish space $X$ is covered by a $K_{s}igma$ subset of $X$ if and only if it does not contain a closed-in-$X$ subset homeomorphic to the Baire space ${}^{o}megaomega$. We consider the analogous statement (which we call Hurewicz dichotomy) for $Sigm{a}_1^1$ subsets of the generalized Baire space ${}^{k}appakappa$ for a given uncountable cardinal $kappa$ with $kappa=kapp{a}^{<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 $Sigm{a}_1^1$ subsets of ${}^{k}appakappa$ 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 $Sigm{a}_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.

Full work available at URL: https://arxiv.org/abs/1506.03364

Recommendations

• Consistency of the Silver dichotomy in generalised Baire space
• A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
• Continuous images of closed sets in generalized Baire spaces
• scientific article; zbMATH DE number 6279931
• Ramsey theory on generalized Baire space

zbMATH Keywords

analytic setsregularity propertiesgeneralized Baire spaces

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Descriptive set theory (03E15) Consistency and independence results (03E35)

Cites Work

• Title not available (Why is that?)
• The fine structure of the constructible hierarchy
• Iterated forcing and elementary embeddings
• Title not available (Why is that?)
• Sheva-sheva-sheva: large creatures
• On strong measure zero subsets of \({}^\kappa 2\)
• On a Notion of Smallness for Subsets of the Baire Space
• Title not available (Why is that?)
• Trees, subtrees and order types
• On a problem of Sikorski
• Extensions with the approximation and cover properties have no new large cardinals
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• The descriptive set-theoretical complexity of the embeddability relation on models of large size
• Saturated ideals
• Chains of end elementary extensions of models of set theory
• Strongly unfoldable cardinals made indestructible
• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• Complexity of reals in inner models of set theory
• A Basis Theorem for Perfect Sets
• Perfect subsets of generalized Baire spaces and long games
• Generalized Silver and Miller measurability
• Failures of the Silver dichotomy in the generalized Baire space
• Spaces homeomorphic to $\left( {2^\alpha } \right)_\alpha$
• Regularity properties on the generalized reals
• Continuous images of closed sets in generalized Baire spaces

Cited In (17)

• Perfect subsets of generalized Baire spaces and long games
• Square compactness and the filter extension property
• Application of Hurewicz theorem to classification of \(\Pi _1^1\)-complete sets
• Laver trees in the generalized Baire space
• Consistency of the Silver dichotomy in generalised Baire space
• On effective \(\sigma \)-boundedness and \(\sigma \)-compactness
• Definability of small puncture sets
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• Special subsets of the generalized Cantor space and generalized Baire space
• Choiceless Ramsey theory of linear orders
• Hurewicz-like tests for Borel subsets of the plane
• The Hurewicz covering property and slaloms in the Baire space
• A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
• Continuous images of closed sets in generalized Baire spaces
• Uncountable structures are not classifiable up to bi-embeddability
• Generalized Polish spaces at regular uncountable cardinals

This page was built for publication: The Hurewicz dichotomy for generalized Baire spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503280)