Core models with more Woodin cardinals

DOI10.2178/jsl/1190150159zbMath1012.03055OpenAlexW2045516763MaRDI QIDQ4779661

J. R. Steel

Publication date: 13 June 2003

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

Full work available at URL: https://doi.org/10.2178/jsl/1190150159

zbMATH Keywords

iterabilityWoodin cardinalscore modelsiteration treeunique branches hypothesis

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (20)

The consistency strength of projective absoluteness ⋮ Mouse sets ⋮ Hod mice and the Mouse Set Conjecture ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Iterability for (transfinite) stacks ⋮ The covering lemma up to a Woodin cardinal ⋮ Thin equivalence relations and inner models ⋮ Strong cardinals in the core model ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Iterates of the core model ⋮ The self-iterability of L[E] ⋮ Counterexamples to the unique and cofinal branches hypotheses ⋮ Core models in the presence of Woodin cardinals ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ SEALING OF THE UNIVERSALLY BAIRE SETS ⋮ The core model for almost linear iterations ⋮ The maximality of the core model ⋮ Nontame mouse from the failure of square at a singular strong limit cardinal ⋮ Coding into 𝐾 by reasonable forcing

Cites Work

• The covering lemma up to a Woodin cardinal
• Inner models with many Woodin cardinals
• The maximality of the core model
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Core models with more Woodin cardinals