The maximality of the core model

DOI10.1090/S0002-9947-99-02411-3MaRDI QIDQ4243638zbMATH OpenOpenAlexFDO

Authors Ernest Schimmerling, John 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

\(\omega\)-Erdős cardinalcore modelsextender sequenceinner modelslarge cardinalsmicesuccessors of weakly compact cardinalsWoodin cardinals

Mathematics Subject Classification ID

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

Abstract: If T is an iteration tree on K and F is a countably certified extender that coheres with the final model of T, then F is on the extender sequence of the final model of T. Several applications of maximality are proved, including: o K computes successors of weakly compact cardinals correctly. o K^c is an iterate of K. o (with Mitchell) If alpha is a cardinal > aleph_1, then K-restriction-alpha is universal for mice of height alpha. Other results in this paper, when combined with work of Woodin, imply: o If square-kappa-finite fails and kappa is a singular, strong limit cardinal, then Inductive Determinacy holds. o If square-kappa-finite fails and kappa is a weakly compact cardinal, then L(R)-determinacy holds.

Recommendations

• scientific article; zbMATH DE number 967740
• scientific article; zbMATH DE number 4118361
• Supercomplete extenders and type 1 mice. I
• scientific article; zbMATH DE number 994189

Cites work

• A finite family weak square principle
• A Proof of Projective Determinacy
• Combinatorial principles in the core model for one Woodin cardinal
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• scientific article; zbMATH DE number 3652325 (Why is no real title available?)
• scientific article; zbMATH DE number 3743241 (Why is no real title available?)
• scientific article; zbMATH DE number 3529851 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 967740 (Why is no real title available?)
• Inner models with many Woodin cardinals
• Iteration Trees
• The core model
• The core model for sequences of measures. I
• The covering lemma up to a Woodin cardinal
• The fine structure of the constructible hierarchy
• The Jensen Covering Property
• Weak covering without countable closure

Cited in

(30)

• The core model for almost linear iterations
• Supercomplete extenders and type 1 mice. I
• Projective uniformization revisited
• The definability of \(\mathbb{E}\) in self-iterable mice
• A premouse inheriting strong cardinals from \(V\)
• Coherent sequences and threads
• Determinacy from strong compactness of \(\omega_1\)
• Perfect subtree property for weakly compact cardinals
• Square in core models
• K without the measurable
• Determinacy in \(L(\mathbb{R}, \mu)\)
• Woodin's axiom \((*)\), bounded forcing axioms, and precipitous ideals on \(\omega _{1}\)
• On the Reals Which Cannot Be Random
• Core models in the presence of Woodin cardinals
• Stacking mice
• Ramsey cardinals, α-Erdös cardinals, and the core model
• scientific article; zbMATH DE number 4118361 (Why is no real title available?)
• Core models with more Woodin cardinals
• Countable unions of simple sets in the core model
• Downward transference of mice and universality of local core models
• Ideal projections and forcing projections
• A universal extender model without large cardinals in V
• Closed maximality principles: implications, separations and combinations
• PFA implies AD^L(ℝ)
• CHARACTERIZATION OF □_κ IN CORE MODELS
• On -Strongly Measurable Cardinals
• The comparison lemma
• The covering lemma up to a Woodin cardinal
• The structure of C(aa)
• Low level definability above large cardinals

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4243638)