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 gamelarge cardinalinner model theorymouselong game

Mathematics Subject Classification ID

Descriptive set theory (03E15) Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45) 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

• 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?)
• HODas a core model
• A Proof of Projective Determinacy
• A criterion for coarse iterability
• 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(ℝ)
• HOD in inner models with Woodin cardinals
• Higher set theory and mathematical practice
• 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 Relative Consistency Strength of Determinacy Hypothesis
• On the determinacy of games on ordinals
• On the prewellorderings associated with the directed systems of mice
• 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 for games ending at the first admissible relative to the play
• GAMES OF LENGTH ω₁
• Long Borel games
• Pure and hybrid mice with finitely many Woodin cardinals from levels of determinacy
• Games of length 2
• The consistency strength of projective absoluteness
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• scientific article; zbMATH DE number 1390275 (Why is no real title available?)
• GAMES AND REFLECTION IN
• Determinacy and extended sharp functions on the reals. II: Obtaining sharps from determinacy
• A Proof of Projective Determinacy
• Determinacy axioms and large cardinals
• Projective games on the reals

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)