The Hurewicz dichotomy for generalized Baire spaces

DOI10.1007/S11856-016-1435-1MaRDI QIDQ503280zbMATHOpenAlexFDO

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)

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

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)

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.

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

Cites work

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

Cited in

(17)

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

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)