constructible universe (V=L)

URI: https://gptkb.org/entity/constructible_universe_(V=L)
GPTKB entity
Statements (26)
Predicate Object
gptkbp:instanceOf gptkb:Titan
set-theoretic principle
gptkbp:alsoKnownAs axiom of constructibility
gptkbp:category axioms of set theory
gptkbp:citation Gödel, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum Hypothesis with the Axioms of Set Theory (1940)
gptkbp:compatibleWith some large cardinal hypotheses
gptkbp:contrastsWith gptkb:large_cardinal_axioms
forcing axioms
gptkbp:controversy true
gptkbp:formedBy gptkb:Kurt_Gödel
1938
gptkbp:hasModel constructible universe L
https://www.w3.org/2000/01/rdf-schema#label constructible universe (V=L)
gptkbp:implies gptkb:Axiom_of_Choice
gptkb:Generalized_Continuum_Hypothesis
gptkbp:relatedTo gptkb:continuum_hypothesis
gptkb:Zermelo-Fraenkel_set_theory
gptkb:Gödel's_constructible_universe
axiom of choice
gptkbp:state Every set is constructible
gptkbp:symbol V=L
gptkbp:usedIn gptkb:set_theory
foundations of mathematics
model theory
gptkbp:bfsParent gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice)
gptkbp:bfsLayer 8