This HTML5 document contains 99 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n17http://press.princeton.edu/titles/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n11http://en.wikipedia.org/wiki/
n8https://archive.org/details/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Constructible_universe
rdf:type
owl:Thing
rdfs:label
Constructible universe
rdfs:comment
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L, is a particular class of sets that can be described entirely in terms of simpler sets. L is the union of the constructible hierarchy Lα . It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". In this, he proved that the constructible universe is an inner model of ZF set theory (that is, of Zermelo–Fraenkel set theory with the axiom of choice excluded), and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent. Since many other theorems
owl:differentFrom
dbr:Gödel_metric
owl:sameAs
yago-res:Constructible_universe freebase:m.01ydk2
dbp:wikiPageUsesTemplate
dbt:Sub dbt:Mvar dbt:Cite_journal dbt:Cite_book dbt:Tmath dbt:= dbt:Math dbt:Distinguish dbt:Block_indent dbt:Sup dbt:Set_theory dbt:Var dbt:Space
dct:subject
dbc:Works_by_Kurt_Gödel dbc:Constructible_universe
dbo:wikiPageExternalLink
n8:admissiblesetsst00barw_0 n17:1034.html%7Cisbn=978-0-691-07927-1
gold:hypernym
dbr:Class
prov:wasDerivedFrom
n11:Constructible_universe?oldid=1074189427&ns=0
dbo:wikiPageID
343335
dbo:wikiPageLength
31551
dbo:wikiPageRevisionID
1074189427
dbo:wikiPageWikiLink
dbr:Inaccessible_cardinal dbr:Zermelo–Fraenkel_set_theory dbr:Inner_model dbr:Löwenheim–Skolem_theorem dbr:Parameter dbr:Zero_sharp dbr:Ordinal_number dbr:Bijection dbr:Power_set dbr:Nonrecursive_ordinal dbr:Successor_ordinal dbr:Limit_ordinal dbr:Ordinal_definable_set dbr:Regular_cardinal dbr:Axiom_of_regularity dbr:Axiom_of_union dbr:Mathematics dbr:Axiom_schema_of_replacement dbc:Works_by_Kurt_Gödel dbr:Axiom_schema_of_specification dbr:Axiom_of_empty_set dbr:Lexicographic_order dbr:Set_theory dbr:Axiom_of_extensionality dbr:L(R) dbr:Axiom_of_pairing dbr:Quantifier_(logic) dbr:Axiom_of_power_set dbr:List_of_large_cardinal_properties dbr:Axiom_of_global_choice dbr:Club_set dbr:Axiom_of_infinity dbr:Limit_cardinal dbr:Large_cardinal dbr:Axiom_of_choice dbr:Formal_language dbr:Axiom_of_constructibility dbr:Minimal_model_(set_theory) dbr:Indiscernibles dbr:Transitive_set dbr:Von_Neumann_universe dbr:Equinumerosity dbr:Hereditarily_finite_set dbr:Mahlo_cardinal dbr:Kurt_Gödel dbr:Reflection_principle dbr:Lévy_hierarchy dbr:Elementary_equivalence dbr:Hereditarily_countable_set dbr:Set_(mathematics) dbr:Transfinite_induction dbr:Truth_value dbr:Consistency dbr:Arithmetical_hierarchy dbr:Class_(set_theory) dbr:Well-founded_relation dbr:Von_Neumann_cardinal_assignment dbr:Bounded_quantifier dbr:Well-formed_formula dbr:Measurable_cardinal dbr:Hyperarithmetical_theory dbr:Descriptive_set_theory dbr:Axiom dbr:Continuum_hypothesis dbr:Ronald_Jensen dbr:Gödel_numbering dbr:Gödel_operation dbc:Constructible_universe dbr:Mostowski_collapse_lemma
dbo:abstract
In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L, is a particular class of sets that can be described entirely in terms of simpler sets. L is the union of the constructible hierarchy Lα . It was introduced by Kurt Gödel in his 1938 paper "The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis". In this, he proved that the constructible universe is an inner model of ZF set theory (that is, of Zermelo–Fraenkel set theory with the axiom of choice excluded), and also that the axiom of choice and the generalized continuum hypothesis are true in the constructible universe. This shows that both propositions are consistent with the basic axioms of set theory, if ZF itself is consistent. Since many other theorems only hold in systems in which one or both of the propositions is true, their consistency is an important result.
foaf:isPrimaryTopicOf
n11:Constructible_universe