Jensen's covering lemma

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:concerns gptkb:constructible_universe
core model
gptkbp:field gptkb:set_theory
https://www.w3.org/2000/01/rdf-schema#label Jensen's covering lemma
gptkbp:namedAfter gptkb:Ronald_Jensen
gptkbp:publishedIn gptkb:Annals_of_Mathematical_Logic
gptkbp:relatedTo large cardinals
gptkbp:state If there is no inner model with a measurable cardinal, then every uncountable set of ordinals is covered by a constructible set of the same cardinality.
gptkbp:usedIn inner model theory
gptkbp:year 1972
gptkbp:bfsParent gptkb:Ron_Jensen
gptkbp:bfsLayer 6