Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse

DOI10.1016/j.apal.2015.05.002zbMath1373.03088OpenAlexW1773684066MaRDI QIDQ499078

Yizheng Zhu

Publication date: 29 September 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2015.05.002

zbMATH Keywords

descriptive set theorydeterminacyhod mouseinner model theory

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

Determinacy axioms and large cardinals ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• \(\lambda\)-structures and \(s\)-structures: translating the models
• Descriptive inner model theory
• Hod mice and the Mouse Set Conjecture
• A classification of jump operators
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• Deconstructing inner model theory
• The self-iterability of L[E]
• THE MOUSE SET CONJECTURE FOR SETS OF REALS
• Inner models and large cardinals