The Jensen Covering Property

DOI10.2307/2694959zbMath1011.03039arXivmath/9702208OpenAlexW2070320073MaRDI QIDQ4328818

Ernest Schimmerling, W. Hugh Woodin

Publication date: 29 May 2003

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

extendercore modelcovering lemmaindescernibles

Mathematics Subject Classification ID

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

Related Items (5)

CHARACTERIZATION OF □_κ IN CORE MODELS ⋮ Coherent sequences and threads ⋮ Covering with Chang models over derived models ⋮ The strength of choiceless patterns of singular and weakly compact cardinals ⋮ The maximality of the core model

Cites Work

• The covering lemma up to a Woodin cardinal
• Inner models with many Woodin cardinals
• Combinatorial principles in the core model for one Woodin cardinal
• Weak covering without countable closure
• The covering lemma for L[U]
• Equivalence of partition properties and determinacy
• The covering lemma for K

This page was built for publication: The Jensen Covering Property