Core models with more Woodin cardinals
From MaRDI portal
Publication:4779661
DOI10.2178/jsl/1190150159zbMath1012.03055OpenAlexW2045516763MaRDI QIDQ4779661
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
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
This page was built for publication: Core models with more Woodin cardinals