The domestic levels of \(K^c\) are iterable

DOI10.1007/BF02773379zbMath1011.03040OpenAlexW60537051MaRDI QIDQ5951511

Itay Neeman, Alessandro Andretta, J. R. Steel

Publication date: 3 April 2003

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02773379

zbMATH Keywords

measurable cardinalinner models\(K^c\) constructioniterabilitynon-domestic premousePFAproper forcing axiom

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items

On -Strongly Measurable Cardinals, Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model, Determinacy axioms and large cardinals, Perfect subtree property for weakly compact cardinals, CHARACTERIZATION OF □_κ IN CORE MODELS, Covering with universally Baire operators, Cardinal transfer properties in extender models, A brief account of recent developments in inner model theory, Inner Models and Ultrafilters In L(ℝ), Equiconsistencies at subcompact cardinals, Stacking mice, Distinct iterable branches, PFA implies AD^L(ℝ), Inner models in the region of a Woodin limit of Woodin cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Inner models with many Woodin cardinals
• Square in Core Models
• Iteration Trees
• Fine structure for tame inner models
• A weak Dodd-Jensen lemma
• The fine structure of the constructible hierarchy
• Inner models and large cardinals