http://dbpedia.org/ontology/abstract
|
In set theory, a branch of mathematics, th … In set theory, a branch of mathematics, the condensation lemma is a result about sets in theconstructible universe. It states that if X is a transitive set and is an elementary submodel of some level of the constructible hierarchy Lα, that is, , then in fact there is some ordinal such that . More can be said: If X is not transitive, then its transitive collapse is equal to some , and the hypothesis of elementarity can be weakened to elementarity only for formulas which are in the Lévy hierarchy. Also, the assumption that X be transitive automatically holds when . The lemma was formulated and proved by Kurt Gödel in his proof that the axiom of constructibility implies GCH.the axiom of constructibility implies GCH.
|
http://dbpedia.org/ontology/wikiPageID
|
20506691
|
http://dbpedia.org/ontology/wikiPageLength
|
1334
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1108319846
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Constructible_universe +
, http://dbpedia.org/resource/Axiom_of_constructibility +
, http://dbpedia.org/resource/Set_theory +
, http://dbpedia.org/resource/Kurt_G%C3%B6del +
, http://dbpedia.org/resource/Elementary_submodel +
, http://dbpedia.org/resource/Category:Lemmas_in_set_theory +
, http://dbpedia.org/resource/Continuum_hypothesis +
, http://dbpedia.org/resource/Transitive_collapse +
, http://dbpedia.org/resource/L%C3%A9vy_hierarchy +
, http://dbpedia.org/resource/Transitive_set +
, http://dbpedia.org/resource/Category:Constructible_universe +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Mathematical_logic +
, http://dbpedia.org/resource/Template:Settheory-stub +
, http://dbpedia.org/resource/Template:Set_theory +
, http://dbpedia.org/resource/Template:Cite_book +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Lemmas_in_set_theory +
, http://dbpedia.org/resource/Category:Constructible_universe +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Condensation_lemma?oldid=1108319846&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Condensation_lemma +
|
owl:sameAs |
http://rdf.freebase.com/ns/m.04zx6yj +
, https://global.dbpedia.org/id/4hxAZ +
, http://dbpedia.org/resource/Condensation_lemma +
, http://yago-knowledge.org/resource/Condensation_lemma +
, http://www.wikidata.org/entity/Q5159176 +
|
rdf:type |
http://dbpedia.org/class/yago/Proposition106750804 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/class/yago/Statement106722453 +
, http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/Message106598915 +
, http://dbpedia.org/class/yago/WikicatLemmas +
, http://dbpedia.org/class/yago/Lemma106751833 +
|
rdfs:comment |
In set theory, a branch of mathematics, th … In set theory, a branch of mathematics, the condensation lemma is a result about sets in theconstructible universe. It states that if X is a transitive set and is an elementary submodel of some level of the constructible hierarchy Lα, that is, , then in fact there is some ordinal such that . More can be said: If X is not transitive, then its transitive collapse is equal to some , and the hypothesis of elementarity can be weakened to elementarity only for formulas which are in the Lévy hierarchy. Also, the assumption that X be transitive automatically holds when .X be transitive automatically holds when .
|
rdfs:label |
Condensation lemma
|