Fine structure for tame inner models

DOI10.2307/2275679MaRDI QIDQ4894730zbMATHOpenAlexFDO

Authors Ernest Schimmerling, John Steel

Publication date 12 May 1997

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

Full work available at URL https://doi.org/10.2307/2275679

zbMATH Keywords

fine structureinner modelsWoodin cardinalscore modelrelative consistencynormal measureextender sequencecover propertytame mouse

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Inner models with many Woodin cardinals
• scientific article; zbMATH DE number 567513
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
• Iteration Trees
• A Comparison Process for Mouse Pairs
• Comparison of fine structural mice via coarse iteration
• Inner models and large cardinals
• scientific article; zbMATH DE number 967740
• The definability of \(\mathbb{E}\) in self-iterable mice
• Large cardinals and iteration trees of height \(\omega\)

Cites work

• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Combinatorial principles in the core model for one Woodin cardinal
• Inner models with many Woodin cardinals

Cited in

(16)

• Thin equivalence relations and inner models
• Iteration Trees
• scientific article; zbMATH DE number 45214 (Why is no real title available?)
• Mini-workshop: Fine structure and inner model theory. Abstracts from the mini-workshop held November 8th -- November 14th, 2009
• Inner Models of Univalence
• \(\Sigma_3^1\) absoluteness and the second uniform indiscernible
• scientific article; zbMATH DE number 4031665 (Why is no real title available?)
• The domestic levels of \(K^c\) are iterable
• Iterability for (transfinite) stacks
• Report 20/2006: Mini-workshop: Feinstrukturtheorie und innere Modelle (April 30th -- May 6th, 2006)
• The covering lemma up to a Woodin cardinal
• The maximality of the core model
• The definability of \(\mathbb{E}\) in self-iterable mice
• Stacking mice
• Inner models in the region of a Woodin limit of Woodin cardinals
• A premouse inheriting strong cardinals from \(V\)

This page was built for publication: Fine structure for tame inner models

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