On the Prewellorderings Associated with the Directed Systems of Mice

DOI10.2178/jsl.7803030zbMath1315.03087MaRDI 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 cardinals; mouse; projective ordinals; game quantifier; prewellorderings

Mathematics Subject Classification ID

03E15: Descriptive set theory

03E45: Inner models, including constructibility, ordinal definability, and core models

03E60: Determinacy principles

Related Items

Mice with finitely many Woodin cardinals from optimal determinacy hypotheses, IN INNER MODELS WITH WOODIN CARDINALS, 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\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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(ℝ)