|
gptkbp:instanceOf
|
gptkb:mathematical_concept
class in set theory
|
|
gptkbp:alsoKnownAs
|
L
|
|
gptkbp:builtBy
|
transfinite recursion
|
|
gptkbp:contains
|
all ordinals
|
|
gptkbp:containsElement
|
constructible set
|
|
gptkbp:definedIn
|
gptkb:set_theory
|
|
gptkbp:describedBy
|
Gödel's 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory"
|
|
gptkbp:hasModel
|
gptkb:Axiom_of_Choice
gptkb:Zermelo-Fraenkel_set_theory
gptkb:Generalized_Continuum_Hypothesis
|
|
gptkbp:hasSubgroup
|
gptkb:Von_Neumann_universe
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
Constructible Universe
|
|
gptkbp:importantFor
|
gptkb:set_theory
foundations of mathematics
model theory
independence proofs
|
|
gptkbp:introduced
|
gptkb:Kurt_Gödel
|
|
gptkbp:introducedIn
|
1938
|
|
gptkbp:isConstructedFrom
|
definable sets
hereditarily definable sets
|
|
gptkbp:symbol
|
L
|
|
gptkbp:uses
|
relative consistency of Generalized Continuum Hypothesis
relative consistency of Axiom of Choice
|
|
gptkbp:bfsParent
|
gptkb:Axiomatic_Set_Theory
|
|
gptkbp:bfsLayer
|
7
|