The consistency strength of long projective determinacy

DOI10.1017/JSL.2019.78MaRDI QIDQ5107234zbMATH OpenOpenAlexWikidataFDO

Authors Juan P. Aguilera, Sandra Müller

Publication date 17 April 2020

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

Full work available at URL https://arxiv.org/abs/1906.11949, http://hdl.handle.net/1854/LU-8669150

zbMATH Keywords

determinacyinfinite gameinner model theorylarge cardinallong gamemouse

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Determinacy principles (03E60)

Abstract: We determine the consistency strength of determinacy for projective games of length $omeg{a}^2$. Our main theorem is that $$-determinacy for games of length $omeg{a}^2$ implies the existence of a model of set theory with $omega+n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for $n$ Woodin cardinals constructed over $A$, satisfies $A=mathbbR$ and the Axiom of Determinacy. Then we argue how to obtain a model with $omega+n$ Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length $omeg{a}^2$ with payoff in $$ or with $sigma$-projective payoff.

Recommendations

• Long games and \(\sigma \)-projective sets
• A Proof of Projective Determinacy
• scientific article; zbMATH DE number 1390275
• The determinacy of long games
• GAMES OF LENGTH ω₁

Cites work

• HODas a core model
• A criterion for coarse iterability
• A Proof of Projective Determinacy
• A theorem of Woodin on mouse sets
• An outline of inner model theory
• Analytic determinacy and 0^#
• Borel determinacy
• Deconstructing inner model theory
• Descriptive set theory
• Determinacy in \(L(\mathbb{R}, \mu)\)
• Determinacy in L(ℝ)
• Higher set theory and mathematical practice
• HOD in inner models with Woodin cardinals
• scientific article; zbMATH DE number 5504385 (Why is no real title available?)
• scientific article; zbMATH DE number 5521841 (Why is no real title available?)
• scientific article; zbMATH DE number 5521846 (Why is no real title available?)
• scientific article; zbMATH DE number 5521848 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 5785892 (Why is no real title available?)
• Iteration Trees
• Long games and \(\sigma \)-projective sets
• Measurable cardinals and analytic games
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• On the determinacy of games on ordinals
• On the prewellorderings associated with the directed systems of mice
• On the Relative Consistency Strength of Determinacy Hypothesis
• Optimal Proofs of Determinacy
• Projective games on the reals
• Projectively well-ordered inner models
• Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
• Scales in \({\mathbf K}(\mathbb R)\)
• Structure theory of \(L(\mathbb{R},\mu)\) and its applications
• The axiom of determinacy implies dependent choice in mice
• The axiom of determinacy implies dependent choices in L(R)
• The determinacy of long games
• The higher infinite. Large cardinals in set theory from their beginnings.
• The mouse set conjecture for sets of reals
• The self-iterability of L[E]

Cited in

(13)

• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• The consistency strength of projective absoluteness
• Projective games on the reals
• Long Borel games
• Games of length 2
• Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
• GAMES OF LENGTH ω₁
• A Proof of Projective Determinacy
• scientific article; zbMATH DE number 1390275 (Why is no real title available?)
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Determinacy for games ending at the first admissible relative to the play
• GAMES AND REFLECTION IN
• Determinacy axioms and large cardinals

This page was built for publication: The consistency strength of long projective determinacy

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