Iterates of the core model

DOI10.2178/jsl/1140641172zbMath1109.03063OpenAlexW2166152654MaRDI QIDQ5477633

Ralf-Dieter Schindler

Publication date: 5 July 2006

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

Full work available at URL: https://doi.org/10.2178/jsl/1140641172

zbMATH Keywords

large cardinalscore modelstransitive modeliteration treepremouse

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (8)

On \(\kappa\)-compact cardinals ⋮ Forcing absoluteness and regularity properties ⋮ NORMAL MEASURES ON A TALL CARDINAL ⋮ GAMES AND RAMSEY-LIKE CARDINALS ⋮ The structure of the Mitchell order. II. ⋮ Tall cardinals in extender models ⋮ Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model ⋮ ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS

Cites Work

• The covering lemma up to a Woodin cardinal
• Inner models in the region of a Woodin limit of Woodin cardinals
• Core models with more Woodin cardinals
• Unnamed Item
• Unnamed Item

This page was built for publication: Iterates of the core model