Constructible universe

Property	Value
rdf:type	Work by Kurt Gödel owl:NamedIndividual
rdfs:label	Constructible universe
owl:sameAs	dbr:Constructible_universe
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Book_of_Mysteries_(Manichaeism) http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(A%E2%80%93C) http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Category:Works_by_Kurt_G%C3%B6del http://en.wikipedia.org/wiki/Constructibility
skos:prefLabel	Constructible universe
skos:altLabel	L constructibility constructible set constructible sets constructible Gödel universe ''L''<sub>''Κ''</sub> Gödel's constructible universe L<sub>''α''</sub> Relative constructibility class L of constructible sets constructible hierarchy constructible universe non-constructible real numbers non-constructible reals relative constructibility traditional means consistency of the axiom of choice and of the generalized continuum hypothesis
is clgo:knownFor of	Kurt Gödel

About: clgr:Constructible_universe