Perfect subsets of generalized Baire spaces and long games

DOI10.1017/JSL.2017.44MaRDI QIDQ4600457zbMATH OpenOpenAlexFDO

Authors Philipp Schlicht

Publication date 11 January 2018

Published in Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

Banach-Mazur gamegeneralized descriptive set theorylong gamesperfect set property

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: We extend Solovay's theorem about definable subsets of the Baire space to the generalized Baire space ${}^{l}ambdalambda$, where $lambda$ is an uncountable cardinal with $lambd{a}^{<lambda}=lambda$. In the first main theorem, we show that that the perfect set property for all subsets of ${}^{lambda}lambda$ that are definable from elements of ${}^{l}ambdamathrmOrd$ is consistent relative to the existence of an inaccessible cardinal above $lambda$. In the second main theorem, we introduce a Banach-Mazur type game of length $lambda$ and show that the determinacy of this game, for all subsets of ${}^{l}ambdalambda$ that are definable from elements of ${}^{l}ambdamathrmOrd$ as winning conditions, is consistent relative to the existence of an inaccessible cardinal above $lambda$. We further obtain some related results about definable functions on ${}^{l}ambdalambda$ and consequences of resurrection axioms for definable subsets of ${}^{l}ambdalambda$.

Recommendations

• The determinacy of long games
• \(\Sigma ^{1}_{1}\)-definability at uncountable regular cardinals
• Infinite dimensional perfect set theorems
• A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
• Determinacy in L(ℝ)

Cites work

• A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
• A model of set-theory in which every set of reals is Lebesgue measurable
• A Proof of Projective Determinacy
• An outline of inner model theory
• Aronszajn trees on _2 and _3.
• Can you take Solovay's inaccessible away?
• Closed maximality principles: implications, separations and combinations
• Continuous images of closed sets in generalized Baire spaces
• Forcing closed unbounded sets
• Generalized descriptive set theory and classification theory
• Generalized Silver and Miller measurability
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• Iterated forcing and elementary embeddings
• On strong measure zero subsets of \({}^\kappa 2\)
• Perfect-set forcing for uncountable cardinals
• Regularity properties on the generalized reals
• Resurrection axioms and uplifting cardinals
• Set Theory
• The higher infinite. Large cardinals in set theory from their beginnings.
• The Hurewicz dichotomy for generalized Baire spaces
• Thin equivalence relations and inner models
• Trees and -subsets of ^ω1ω₁

Cited in

(12)

• Choiceless Ramsey theory of linear orders
• Closed maximality principles and generalized Baire spaces
• A null ideal for inaccessibles
• Long games and \(\sigma \)-projective sets
• A Cantor-Bendixson theorem for the space ${ω_1}^{ω_1}$
• Infinite dimensional perfect set theorems
• The Hurewicz dichotomy for generalized Baire spaces
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Generalized Polish spaces at regular uncountable cardinals
• Laver trees in the generalized Baire space
• Low level definability above large cardinals

This page was built for publication: Perfect subsets of generalized Baire spaces and long games

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