The covering lemma up to a Woodin cardinal

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

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

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 model; fine structure; covering lemma; successors of singular cardinals; Woodin cardinal

Mathematics Subject Classification ID

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

Related Items

The Jensen Covering Property, Collapsing successors of singulars, Core models with more Woodin cardinals, Jónsson cardinals, Erdős cardinals, and the core model, A finite family weak square principle, Generic Embeddings and the Failure of Box, Iterates of the core model, CHARACTERIZATION OF □_κ IN CORE MODELS, DODD PARAMETERS AND λ-INDEXING OF EXTENDERS, Indiscernible sequences for extenders, and the singular cardinal hypothesis, Strong cardinals in the core model, On the consistency strength of two choiceless cardinal patterns, Projective well-orderings of the reals, The strength of choiceless patterns of singular and weakly compact cardinals, The core model for almost linear iterations, Combinatorial principles in the core model for one Woodin cardinal, The consistency strength of projective absoluteness, \(\Pi_ 2^ 1\) Wadge degrees, Blowing up the power of a singular cardinal, Projective uniformization revisited, ◇ at Mahlo cardinals, KWithout the Measurable, The self-iterability of L[E], The maximality of the core model

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