The covering lemma up to a Woodin cardinal

DOI10.1016/S0168-0072(96)00032-2zbMath0868.03021arXivmath/9702207OpenAlexW2007636328WikidataQ124964864 ScholiaQ124964864MaRDI QIDQ678765

J. R. Steel, Ernest Schimmerling, William J. Mitchell

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

core modelfine structurecovering lemmasuccessors of singular cardinalsWoodin cardinal

Mathematics Subject Classification ID

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

Related Items

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

Cites Work

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