Fine structure for tame inner models

DOI10.2307/2275679MaRDI QIDQ4894730zbMATH OpenOpenAlexFDO

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

core modelcover propertyextender sequencefine structureinner modelsnormal measurerelative consistencytame mouseWoodin cardinals

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

• Combinatorial principles in the core model for one Woodin cardinal
• 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 with many Woodin cardinals

Cited in

(16)

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

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)