The self-iterability of L[E]

DOI10.2178/jsl/1245158084zbMath1178.03067OpenAlexW2081336225MaRDI QIDQ3399177

J. R. Steel, Ralf-Dieter Schindler

Publication date: 29 September 2009

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

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

zbMATH Keywords

diamonditeration treescutpointiterable tame extender model

Mathematics Subject Classification ID

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

Related Items (26)

Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Determinacy from strong reflection ⋮ Lebesgue's density theorem and definable selectors for ideals ⋮ On a class of maximality principles ⋮ VARSOVIAN MODELS I ⋮ Hod mice and the Mouse Set Conjecture ⋮ Inner-model reflection principles ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY ⋮ NEGATIVE RESULTS ON PRECIPITOUS IDEALS ON ⋮ \(AD_{\mathbb{R}}\) implies that all sets of reals are \(\Theta\) universally Baire ⋮ Realizing an \(\mathrm{AD}^+\) model as a derived model of a premouse ⋮ PFA and guessing models ⋮ The definable tree property for successors of cardinals ⋮ Iterability for (transfinite) stacks ⋮ HOD in natural models of \(\mathsf{AD}^+\) ⋮ Thin equivalence relations and inner models ⋮ An inner model proof of the strong partition property for \(\delta_1^2\) ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ Mice with finitely many Woodin cardinals from optimal determinacy hypotheses ⋮ IN INNER MODELS WITH WOODIN CARDINALS ⋮ Boolean-valued second-order logic ⋮ A Solovay-like model for singular generalized descriptive set theory ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ On the Prewellorderings Associated with the Directed Systems of Mice ⋮ Nontame mouse from the failure of square at a singular strong limit cardinal

Cites Work

• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Two cardinal versions of diamond
• Weak covering without countable closure
• Core models in the presence of Woodin cardinals
• Core models with more Woodin cardinals
• A universal extender model without large cardinals in V

This page was built for publication: The self-iterability of L[E]