The covering lemma up to a Woodin cardinal

DOI10.1016/S0168-0072(96)00032-2MaRDI QIDQ678765zbMATH OpenOpenAlexWikidataFDO

Authors John Steel, William J. Mitchell, Ernest Schimmerling

Publication date 8 July 1997

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

covering lemmafine structurecore modelsuccessors of singular cardinalsWoodin cardinal

Mathematics Subject Classification ID

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

Abstract: A cardinal kappa is countably closed if mu^omega < kappa whenever mu < kappa. Assume that there is no inner model with a Woodin cardinal and that every set has a sharp. Let K be the core model. Assume that kappa is a countably closed cardinal and that alpha is a successor cardinal of K with kappa < alpha < kappa^+. Then cf( alpha ) = kappa. In particular, K computes successors of countably closed singular cardinals correctly. (The hypothesis of countable closure is not required; see "Weak covering without countable closure", W. J. Mitchell and E. Schimmerling, Math. Res. Lett., Vol. 2, No. 5, Sept. 1995.)

Recommendations

• scientific article; zbMATH DE number 733389
• scientific article; zbMATH DE number 1126842
• Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
• Weak Covering at Large Cardinals

Cites work

• scientific article; zbMATH DE number 3861143 (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?)
• Combinatorial principles in the core model for one Woodin cardinal
• Core models
• Core models with more Woodin cardinals
• Fine structure for tame inner models
• Inner models with many Woodin cardinals
• Iteration Trees
• The core model
• The core model for sequences of measures. I
• The covering lemma for K
• The covering lemma for L[U]
• The fine structure of the constructible hierarchy
• The maximality of the core model
• The well-foundedness of the Mitchell order
• Weak covering without countable closure

Cited in

(34)

• The definability of \(\mathbb{E}\) in self-iterable mice
• On the consistency strength of two choiceless cardinal patterns
• When cardinals determine the power set: inner models and Härtig quantifier logic
• Covering at limit cardinals of K
• The Jensen Covering Property
• Combinatorial principles in the core model for one Woodin cardinal
• Covering with Chang models over derived models
• Strong cardinals in the core model
• \(\Pi_ 2^ 1\) Wadge degrees
• \(K\) without the measurable
• The self-iterability of L[E]
• Woodin cardinals, Shelah cardinals, and the Mitchell-Steel core model
• The consistency strength of projective absoluteness
• Projective uniformization revisited
• Generic Embeddings and the Failure of Box
• Mice with finitely many Woodin cardinals from optimal determinacy hypotheses
• Jónsson cardinals, Erdős cardinals, and the core model
• \(\diamondsuit\) at Mahlo cardinals
• DODD PARAMETERS AND λ-INDEXING OF EXTENDERS
• The maximality of the core model
• Projective well-orderings of the reals
• The strength of choiceless patterns of singular and weakly compact cardinals
• A finite family weak square principle
• The core model for almost linear iterations
• scientific article; zbMATH DE number 733389 (Why is no real title available?)
• Collapsing successors of singulars
• Easton's theorem in the presence of Woodin cardinals
• Core models with more Woodin cardinals
• Iterates of the core model
• Silver type theorems for collapses
• Blowing up the power of a singular cardinal
• \(\omega_ 1\)-constructible universe and measurable cardinals
• Indiscernible sequences for extenders, and the singular cardinal hypothesis
• CHARACTERIZATION OF □_κ IN CORE MODELS

This page was built for publication: The covering lemma up to a Woodin cardinal

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