The covering lemma for L[U]

DOI10.1016/0003-4843(82)90018-3zbMath0522.03037OpenAlexW2055686150WikidataQ125057091 ScholiaQ125057091MaRDI QIDQ3671961

A. J. Dodd, R. B. Jensen

Publication date: 1982

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(82)90018-3

zbMATH Keywords

measurable cardinalcovering propertycore modelminimal model

Mathematics Subject Classification ID

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

Related Items (28)

Applications of the Covering Lemma for Sequences of Measures ⋮ Some applications of short core models ⋮ On the existence of large p-ideals ⋮ More on the cut and choose game ⋮ Covering versus partitioning with Polish spaces ⋮ The comparison lemma ⋮ The Jensen Covering Property ⋮ The Borel partition spectrum at successors of singular cardinals ⋮ Smooth categories and global \(\square\) ⋮ On the transversal hypothesis and the weak kurepa hypothesis ⋮ On the size of closed unbounded sets ⋮ Small cardinals and small Efimov spaces ⋮ Iteration Trees ⋮ The covering lemma up to a Woodin cardinal ⋮ Squares and uncountably singularized cardinals ⋮ A minimal Prikry-type forcing for singularizing a measurable cardinal ⋮ The core model for sequences of measures. I ⋮ On the consistency strength of the Milner-Sauer conjecture ⋮ Prikry forcing and tree Prikry forcing of various filters ⋮ Large Cardinals and Small Dowker Spaces ⋮ The consistency strength of \(\aleph_\omega\) and \(\aleph_{\omega_1}\) being Rowbottom cardinals without the axiom of choice ⋮ Indiscernible sequences for extenders, and the singular cardinal hypothesis ⋮ On the consistency strength of accessible Jonsson cardinals and of the weak Chang conjecture ⋮ Adding a lot of Cohen reals by adding a few. I ⋮ A characterization of generalized Příkrý sequences ⋮ KWithout the Measurable ⋮ On coverings of Banach spaces and their subsets by hyperplanes ⋮ Controlling classical cardinal characteristics while collapsing cardinals

This page was built for publication: The covering lemma for L[U]