THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY
From MaRDI portal
Publication:5107234
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
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
