On the Prewellorderings Associated with the Directed Systems of Mice

DOI10.2178/jsl.7803030zbMath1315.03087OpenAlexW1996606070MaRDI QIDQ2869899

Grigor Sargsyan

Publication date: 7 January 2014

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1389032273

zbMATH Keywords

Woodin cardinalsmouseprojective ordinalsgame quantifierprewellorderings

Mathematics Subject Classification ID

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

Related Items (5)

THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ An inner model proof of the strong partition property for \(\delta_1^2\) ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ IN INNER MODELS WITH WOODIN CARDINALS

Cites Work

• Projectively well-ordered inner models
• A boundedness lemma for iterations
• An Outline of Inner Model Theory
• Structural Consequences of AD
• The self-iterability of L[E]
• On the determinacy of games on ordinals
• On the theory of Π₃¹ sets of reals
• OPTIMAL PROOFS OF DETERMINACY II
• HOD^L(ℝ) is a Core Model Below Θ
• Optimal Proofs of Determinacy
• Variations of the Martin-Solovay tree
• PFA implies AD^L(ℝ)
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Prewellorderings Associated with the Directed Systems of Mice