Jensen's covering theorem
In set theory, Jensen's covering theorem states that if 0# does not exist then every uncountable set of ordinals is contained in a constructible set of the same cardinality. Informally this conclusion says that the constructible universe is close to the universe of all sets. The first proof appeared in . Silver later gave a fine structure free proof using his machines and finally Magidor gave an even simpler proof. In his book Proper Forcing, Shelah proved a strong form of Jensen's covering lemma.
Wikipage disambiguates
seeAlso
primaryTopic
Jensen's covering theorem
In set theory, Jensen's covering theorem states that if 0# does not exist then every uncountable set of ordinals is contained in a constructible set of the same cardinality. Informally this conclusion says that the constructible universe is close to the universe of all sets. The first proof appeared in . Silver later gave a fine structure free proof using his machines and finally Magidor gave an even simpler proof. In his book Proper Forcing, Shelah proved a strong form of Jensen's covering lemma.
has abstract
In set theory, Jensen's coveri ...... rm of Jensen's covering lemma.
@en
Link from a Wikipage to an external page
Wikipage page ID
25,646,402
page length (characters) of wiki page
Wikipage revision ID
950,691,228
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In set theory, Jensen's coveri ...... rm of Jensen's covering lemma.
@en
label
Jensen's covering theorem
@en