Covering at limit cardinals of K

DOI10.1142/s0219061323500046OpenAlexW4319663054MaRDI QIDQ6146543

Ernest Schimmerling, William J. Mitchell

Publication date: 31 January 2024

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

Full work available at URL: https://doi.org/10.1142/s0219061323500046

zbMATH Keywords

large cardinalsinner modelscardinal arithmeticcore models

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Covering theorems for the core model, and an application to stationary set reflection
• The core model for almost linear iterations
• Weak covering without countable closure
• KWithout the Measurable
• Applications of the Covering Lemma for Sequences of Measures
• A Core Model Toolbox and Guide
• Deconstructing inner model theory
• The core model for sequences of measures. I
• Building iteration trees
• Changing cofinality of cardinals
• Inner models and large cardinals