The covering lemma up to a Woodin cardinal

DOI10.1016/S0168-0072(96)00032-2zbMATH Open0868.03021arXivmath/9702207OpenAlexW2007636328WikidataQ124964864 ScholiaQ124964864MaRDI QIDQ678765FDOQ678765

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)

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.)

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

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

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)

Cites Work

• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Inner models with many Woodin cardinals
• Iteration Trees
• Title not available (Why is that?)
• Combinatorial principles in the core model for one Woodin cardinal
• The covering lemma for K
• The core model
• Title not available (Why is that?)
• The well-foundedness of the Mitchell order
• Core models
• The core model for sequences of measures. I
• Weak covering without countable closure
• The covering lemma for L[U]
• The maximality of the core model
• Core models with more Woodin cardinals
• Fine structure for tame inner models

Cited In (34)

• The definability of \(\mathbb{E}\) in self-iterable mice
• When cardinals determine the power set: inner models and Härtig quantifier logic
• Covering at limit cardinals of K
• On the consistency strength of two choiceless cardinal patterns
• 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
• Title not available (Why is that?)
• Collapsing successors of singulars
• Core models with more Woodin cardinals
• Iterates of the core model
• Easton's theorem in the presence of Woodin cardinals
• 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)