The maximality of the core model

DOI10.1090/S0002-9947-99-02411-3zbMath0928.03059arXivmath/9702206OpenAlexW1539641197MaRDI QIDQ4243638

Ernest Schimmerling, J. R. Steel

Publication date: 19 May 1999

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9702206

zbMATH Keywords

micelarge cardinalsinner modelsWoodin cardinalscore modelsextender sequence\(\omega\)-Erdős cardinalsuccessors of weakly compact cardinals

Mathematics Subject Classification ID

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

Related Items (23)

On -Strongly Measurable Cardinals ⋮ Woodin's axiom (*), bounded forcing axioms, and precipitous ideals on ω₁ ⋮ Determinacy from strong compactness of \(\omega_1\) ⋮ The comparison lemma ⋮ A premouse inheriting strong cardinals from \(V\) ⋮ On the Reals Which Cannot Be Random ⋮ Perfect subtree property for weakly compact cardinals ⋮ CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ Closed maximality principles: implications, separations and combinations ⋮ Coherent sequences and threads ⋮ Projective uniformization revisited ⋮ The covering lemma up to a Woodin cardinal ⋮ IDEAL PROJECTIONS AND FORCING PROJECTIONS ⋮ Square in Core Models ⋮ Stacking mice ⋮ DOWNWARD TRANSFERENCE OF MICE AND UNIVERSALITY OF LOCAL CORE MODELS ⋮ PFA implies AD^L(ℝ) ⋮ Core models in the presence of Woodin cardinals ⋮ The definability of \(\mathbb{E}\) in self-iterable mice ⋮ KWithout the Measurable ⋮ The core model for almost linear iterations ⋮ Determinacy in L(ℝ, μ) ⋮ Core models with more Woodin cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The covering lemma up to a Woodin cardinal
• Inner models with many Woodin cardinals
• Combinatorial principles in the core model for one Woodin cardinal
• Weak covering without countable closure
• The core model for sequences of measures. I
• A Proof of Projective Determinacy
• The core model
• Iteration Trees
• The Jensen Covering Property
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• A finite family weak square principle
• The fine structure of the constructible hierarchy

This page was built for publication: The maximality of the core model