Fine structure for tame inner models

DOI10.2307/2275679zbMATH Open0861.03040OpenAlexW2017141245MaRDI QIDQ4894730FDOQ4894730

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

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\)

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)

Cites Work

• Inner models with many Woodin cardinals
• Title not available (Why is that?)
• Combinatorial principles in the core model for one Woodin cardinal
• Title not available (Why is that?)

Cited In (16)

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

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)