THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY

DOI10.1017/jsl.2019.78zbMath1477.03222arXiv1906.11949OpenAlexW2953857856WikidataQ126783824 ScholiaQ126783824MaRDI QIDQ5107234

Sandra Müller, Juan P. Aguilera

Publication date: 17 April 2020

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

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

zbMATH Keywords

determinacyinfinite gamelarge cardinalinner model theorymouselong game

Mathematics Subject Classification ID

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

Related Items (4)

Determinacy axioms and large cardinals ⋮ Projective games on the reals ⋮ Long Borel games ⋮ GAMES AND REFLECTION IN

Cites Work

• A criterion for coarse iterability
• Borel determinacy
• The determinacy of long games
• Projectively well-ordered inner models
• Projective games on the reals
• Long games and \(\sigma \)-projective sets
• On the Prewellorderings Associated with the Directed Systems of Mice
• Determinacy in L(ℝ, μ)
• An Outline of Inner Model Theory
• Determinacy in L(ℝ)
• Deconstructing inner model theory
• The self-iterability of L[E]
• The axiom of determinacy implies dependent choices in L(R)
• On the Relative Consistency Strength of Determinacy Hypothesis
• A Proof of Projective Determinacy
• On the determinacy of games on ordinals
• Analytic determinacy and 0^#
• Iteration Trees
• Optimal Proofs of Determinacy
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• IN INNER MODELS WITH WOODIN CARDINALS
• The axiom of determinacy implies dependent choice in mice
• A theorem of Woodin on mouse sets
• HODas a core model
• STRUCTURE THEORY OFL(ℝ,μ) AND ITS APPLICATIONS
• THE MOUSE SET CONJECTURE FOR SETS OF REALS
• Higher set theory and mathematical practice
• Measurable cardinals and analytic games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY