About: Constructible universe

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Particular class of sets which can be described entirely in terms of simpler sets

Property	Value
dbo:description	Teoría (es) classe d'ensembles pouvant être décrits entièrement en termes de sous-ensembles plus simples (fr) particular class of sets which can be described entirely in terms of simpler sets (en)
dbo:wikiPageExternalLink	http://press.princeton.edu/titles/1034.html%7Cisbn=978-0-691-07927-1 https://archive.org/details/admissiblesetsst00barw_0
dbo:wikiPageWikiLink	dbr:Class_(set_theory) dbr:Axiom_of_empty_set dbr:Limit_cardinal dbr:Quantifier_(logic) dbr:Axiom_of_extensionality dbr:Löwenheim–Skolem_theorem dbc:Constructible_universe dbr:Set_theory dbr:Set_(mathematics) dbr:Measurable_cardinal dbr:Axiom_of_constructibility dbr:Statements_true_in_L dbr:Mathematics dbr:Club_set dbr:Formal_language dbr:Ordinal_number dbr:Zermelo–Fraenkel_set_theory dbr:Inaccessible_cardinal dbr:Axiom_of_power_set dbr:Inner_model dbr:Arithmetical_hierarchy dbr:Transitive_set dbr:Transfinite_induction dbr:Regular_ordinal dbr:Successor_ordinal dbr:Mahlo_cardinal dbr:Axiom dbr:Kurt_Gödel dbr:Von_Neumann_universe dbr:Truth_value dbr:Continuum_hypothesis dbr:Generalized_continuum_hypothesis dbr:Power_set dbr:Axiom_of_replacement dbr:Axiom_of_separation dbr:Bounded_quantifiers dbr:Equinumerous dbr:Well-founded_relation dbr:Mostowski_collapse_lemma dbr:Minimal_model_(set_theory) dbr:Axiom_of_regularity dbr:Descriptive_set_theory dbr:Axiom_of_union dbr:Axiom_of_global_choice dbc:Works_by_Kurt_Gödel dbr:Bijection dbr:Axiom_of_infinity dbr:Axiom_of_pairing dbr:L(R) dbr:Zero_sharp dbr:Gödel_numbering dbr:Axiom_of_choice dbr:Ronald_Jensen dbr:Large_cardinal dbr:Limit_ordinal dbr:Reflection_principle dbr:Indiscernibles dbr:Hereditarily_countable_set dbr:Hereditarily_finite_set dbr:Church–Kleene_ordinal dbr:Gödel_operation dbr:Axiomatic_set_theory dbr:List_of_large_cardinal_properties dbr:Elementary_embedding dbr:Ordinal_definable dbr:Consistent dbr:Transfinite_recursion dbr:Levy_hierarchy dbr:Lexicographic_ordering dbr:Formula_(mathematical_logic) dbr:Hyperarithmetical_hierarchy dbr:Parameters dbr:Indiscernible dbr:Initial_ordinal dbr:Transitive_class dbr:Transitive_closure_(set)
dbp:wikiPageUsesTemplate	dbt:Set_theory dbt:Cite_book dbt:Math dbt:Cite_journal dbt:Sup dbt:Var dbt:Citation_needed dbt:Distinguish dbt:Mathematical_logic dbt:Block_indent dbt:Short_description
dct:subject	dbc:Constructible_universe dbc:Works_by_Kurt_Gödel
gold:hypernym	dbr:Class
rdfs:label	Constructible universe (en) Οικοδομήσιμο Σύμπαν (el) Konstruovatelná množina (cs) Universo constructible (es) Univers constructible (fr) 구성 가능 전체 (ko) 構成可能集合 (ja) Uniwersum konstruowalne (pl) Universo construível (pt) Конструктивный универсум (ru)
owl:differentFrom	dbr:Gödel_metric
owl:sameAs	yago-res:Constructible universe freebase:Constructible universe wikidata:Constructible universe dbpedia-fr:Constructible universe dbpedia-ja:Constructible universe dbpedia-pt:Constructible universe dbpedia-he:Constructible universe dbpedia-es:Constructible universe dbpedia-ru:Constructible universe dbpedia-pl:Constructible universe dbpedia-ko:Constructible universe dbpedia-el:Constructible universe dbpedia-cs:Constructible universe dbpedia-sh:Constructible universe dbpedia-sr:Constructible universe dbpedia-global:Constructible universe dbr:Constructible universe
prov:wasDerivedFrom	wikipedia-en:Constructible_universe?oldid=1288576121&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Constructible_universe
is dbo:knownFor of	dbr:Kurt_Gödel
is dbo:wikiPageDisambiguates of	dbr:L_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Gödel's_constructible_universe dbr:Gödel's_constructible_universe dbr:L_(set_theory) dbr:Set-theoretic_constructibility dbr:Constructible_hierarchy dbr:Constructible_subset dbr:Gödel's_L dbr:Gödel_constructibility dbr:Gödel_constructible dbr:Gödel_constructible_universe dbr:Gödel_constructive_set dbr:Godel's_constructible_universe dbr:Godel's_universe dbr:Godel_constructibility dbr:Godel_constructible dbr:Godel_constructible_universe dbr:Godels_universe dbr:Goedel's_constructible_universe dbr:Goedel's_universe dbr:Goedel_constructibility dbr:Goedel_constructible dbr:Goedel_constructible_universe dbr:Goedel_universe dbr:Goedels_universe
is dbo:wikiPageWikiLink of	dbr:Jack_Silver dbr:Beta-model dbr:S2S_(mathematics) dbr:Ultrafilter dbr:Countable_set dbr:Universe_(mathematics) dbr:Diamond_principle dbr:The_Einstein_Intersection dbr:Set_theory dbr:Mouse_(set_theory) dbr:András_Hajnal dbr:W._Hugh_Woodin dbr:Core_model dbr:Covering_lemma dbr:Jensen's_covering_theorem dbr:Axiom_of_constructibility dbr:Definable_real_number dbr:History_of_mathematical_notation dbr:Erdős_cardinal dbr:Zermelo–Fraenkel_set_theory dbr:Inaccessible_cardinal dbr:Index_of_philosophy_articles_(A–C) dbr:Inner_model dbr:Inner_model_theory dbr:Turing_jump dbr:Axiom_of_limitation_of_size dbr:Square_principle dbr:Lévy_hierarchy dbr:Ehrenfeucht–Mostowski_theorem dbr:Cumulative_hierarchy dbr:Glossary_of_set_theory dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:Kurt_Gödel dbr:Von_Neumann_universe dbr:Continuum_hypothesis dbr:Kripke–Platek_set_theory dbr:Whitehead_problem dbr:Mathematical_logic dbr:Grothendieck_universe dbr:Large_countable_ordinal dbr:Minimal_model_(set_theory) dbr:Jensen_hierarchy dbr:List_of_important_publications_in_mathematics dbr:Hilary_Putnam dbr:Turing_reduction dbr:List_of_mathematical_logic_topics dbr:Morass_(set_theory) dbr:Silver_machine dbr:Abelian_group dbr:Admissible_ordinal dbr:Kunen's_inconsistency_theorem dbr:Zero_sharp dbr:Ramified_forcing dbr:L_(disambiguation) dbr:Axiom_of_choice dbr:Ronald_Jensen dbr:Kenneth_Kunen dbr:Large_cardinal dbr:Foundations_of_mathematics dbr:Constructibility dbr:List_of_set_theory_topics dbr:Morse–Kelley_set_theory dbr:Condensation_lemma dbr:Constructible_set dbr:Constructive_set_theory dbr:Kurepa_tree dbr:Kripke–Platek_set_theory_with_urelements dbr:Reduction_(computability_theory) dbr:Solovay_model dbr:Marcia_Groszek dbr:Hereditarily_countable_set dbr:Lawrence_Paulson dbr:Reinhardt_cardinal dbr:Outline_of_logic dbr:The_Higher_Infinite dbr:Chang's_model dbr:Gödel_operation dbr:Absoluteness dbr:Hedetniemi's_conjecture dbr:Indescribable_cardinal dbr:Gödel's_constructible_universe dbr:L_(set_theory) dbr:Set-theoretic_constructibility dbr:Constructible_hierarchy dbr:Constructible_subset dbr:Gödel's_L dbr:Gödel_constructibility dbr:Gödel_constructible dbr:Gödel_constructible_universe dbr:Gödel_constructive_set dbr:Godel's_constructible_universe dbr:Godel's_universe dbr:Godel_constructibility dbr:Godel_constructible dbr:Godel_constructible_universe dbr:Godels_universe dbr:Goedel's_constructible_universe dbr:Goedel's_universe dbr:Goedel_constructibility dbr:Goedel_constructible dbr:Goedel_constructible_universe dbr:Goedel_universe dbr:Goedels_universe
is dbp:knownFor of	dbr:Kurt_Gödel
is owl:differentFrom of	dbr:Gödel_metric
is foaf:primaryTopic of	wikipedia-en:Constructible_universe