Fine structure for tame inner models

DOI10.2307/2275679zbMath0861.03040OpenAlexW2017141245MaRDI QIDQ4894730

Ernest Schimmerling, J. R. 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 modelfine structureinner modelsWoodin cardinalsrelative consistencynormal measureextender sequencecover propertytame mouse

Mathematics Subject Classification ID

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

Related Items (8)

A premouse inheriting strong cardinals from \(V\) ⋮ Iterability for (transfinite) stacks ⋮ The covering lemma up to a Woodin cardinal ⋮ The domestic levels of \(K^c\) are iterable ⋮ \(\Sigma_3^1\) absoluteness and the second uniform indiscernible ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ Inner models in the region of a Woodin limit of Woodin cardinals ⋮ The maximality of the core model

Cites Work

• Inner models with many Woodin cardinals
• Combinatorial principles in the core model for one Woodin cardinal
• Unnamed Item
• Unnamed Item

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