Iterates of the core model

DOI10.2178/JSL/1140641172MaRDI QIDQ5477633zbMATH OpenOpenAlexFDO

Authors Ralf 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

core modelsiteration treelarge cardinalspremousetransitive model

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 967740
• The core model for almost linear iterations
• Core models with more Woodin cardinals
• Forcing Magidor iteration over a core model below \(0^P\)
• Core models in the presence of Woodin cardinals

Cites work

• Core models with more Woodin cardinals
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Inner models in the region of a Woodin limit of Woodin cardinals
• The covering lemma up to a Woodin cardinal

Cited in

(21)

• Tall cardinals in extender models
• Non-stationary support iterations of Prikry forcings and restrictions of ultrapower embeddings to the ground model
• On -compact cardinals
• Forcing Magidor iteration over a core model below \(0^P\)
• Iteration Trees
• Normal measures on a tall cardinal
• Games and Ramsey-like cardinals
• The structure of the Mitchell order. II.
• Iterates of M₁
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• ON RESTRICTIONS OF ULTRAFILTERS FROM GENERIC EXTENSIONS TO GROUND MODELS
• The domestic levels of K^c are iterable
• Forcing absoluteness and regularity properties
• Around accumulation points and maximal sequences of indiscernibles
• Weak indestructibility and reflection
• The variety of projections of a tree Prikry forcing
• Measures that violate the generalized continuum hypothesis
• On Easton support iteration of Prikry-type forcing notions
• Non-Galvin filters
• The Magidor iteration and restrictions of ultrapowers to the ground model
• The gluing property

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5477633)