Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Constructible_universe> ?p ?o }
- Constructible_universe abstract "In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets. 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, 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.".
- Constructible_universe wikiPageID "343335".
- Constructible_universe wikiPageLength "24935".
- Constructible_universe wikiPageOutDegree "90".
- Constructible_universe wikiPageRevisionID "660903046".
- Constructible_universe wikiPageWikiLink Arithmetical_hierarchy.
- Constructible_universe wikiPageWikiLink Axiom.
- Constructible_universe wikiPageWikiLink Axiom_of_choice.
- Constructible_universe wikiPageWikiLink Axiom_of_constructibility.
- Constructible_universe wikiPageWikiLink Axiom_of_empty_set.
- Constructible_universe wikiPageWikiLink Axiom_of_extensionality.
- Constructible_universe wikiPageWikiLink Axiom_of_global_choice.
- Constructible_universe wikiPageWikiLink Axiom_of_infinity.
- Constructible_universe wikiPageWikiLink Axiom_of_pairing.
- Constructible_universe wikiPageWikiLink Axiom_of_power_set.
- Constructible_universe wikiPageWikiLink Axiom_of_regularity.
- Constructible_universe wikiPageWikiLink Axiom_of_union.
- Constructible_universe wikiPageWikiLink Axiom_schema_of_replacement.
- Constructible_universe wikiPageWikiLink Axiom_schema_of_specification.
- Constructible_universe wikiPageWikiLink Bounded_quantifier.
- Constructible_universe wikiPageWikiLink Category:Constructible_universe.
- Constructible_universe wikiPageWikiLink Category:Works_by_Kurt_Gödel.
- Constructible_universe wikiPageWikiLink Church–Kleene_ordinal.
- Constructible_universe wikiPageWikiLink Class_(set_theory).
- Constructible_universe wikiPageWikiLink Club_set.
- Constructible_universe wikiPageWikiLink Consistency.
- Constructible_universe wikiPageWikiLink Continuum_hypothesis.
- Constructible_universe wikiPageWikiLink Descriptive_set_theory.
- Constructible_universe wikiPageWikiLink Elementary_equivalence.
- Constructible_universe wikiPageWikiLink Equinumerosity.
- Constructible_universe wikiPageWikiLink Formal_language.
- Constructible_universe wikiPageWikiLink Gödel_numbering.
- Constructible_universe wikiPageWikiLink Hereditarily_countable_set.
- Constructible_universe wikiPageWikiLink Hereditarily_finite_set.
- Constructible_universe wikiPageWikiLink Hyperarithmetical_theory.
- Constructible_universe wikiPageWikiLink Inaccessible_cardinal.
- Constructible_universe wikiPageWikiLink Indiscernibles.
- Constructible_universe wikiPageWikiLink Inner_model.
- Constructible_universe wikiPageWikiLink Kurt_Gödel.
- Constructible_universe wikiPageWikiLink L(R).
- Constructible_universe wikiPageWikiLink Large_cardinal.
- Constructible_universe wikiPageWikiLink Lexicographical_order.
- Constructible_universe wikiPageWikiLink Limit_cardinal.
- Constructible_universe wikiPageWikiLink Limit_ordinal.
- Constructible_universe wikiPageWikiLink List_of_large_cardinal_properties.
- Constructible_universe wikiPageWikiLink Löwenheim–Skolem_theorem.
- Constructible_universe wikiPageWikiLink Mahlo_cardinal.
- Constructible_universe wikiPageWikiLink Mathematics.
- Constructible_universe wikiPageWikiLink Measurable_cardinal.
- Constructible_universe wikiPageWikiLink Minimal_model_(set_theory).
- Constructible_universe wikiPageWikiLink Ordinal_definable_set.
- Constructible_universe wikiPageWikiLink Ordinal_number.
- Constructible_universe wikiPageWikiLink Parameter.
- Constructible_universe wikiPageWikiLink Power_set.
- Constructible_universe wikiPageWikiLink Quantifier_(logic).
- Constructible_universe wikiPageWikiLink Reflection_principle.
- Constructible_universe wikiPageWikiLink Regular_cardinal.
- Constructible_universe wikiPageWikiLink Set_(mathematics).
- Constructible_universe wikiPageWikiLink Set_theory.
- Constructible_universe wikiPageWikiLink Statements_true_in_L.
- Constructible_universe wikiPageWikiLink Successor_ordinal.
- Constructible_universe wikiPageWikiLink Transfinite_induction.
- Constructible_universe wikiPageWikiLink Transitive_set.
- Constructible_universe wikiPageWikiLink Truth_value.
- Constructible_universe wikiPageWikiLink Von_Neumann_cardinal_assignment.
- Constructible_universe wikiPageWikiLink Von_Neumann_universe.
- Constructible_universe wikiPageWikiLink Well-formed_formula.
- Constructible_universe wikiPageWikiLink Well-founded_relation.
- Constructible_universe wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Constructible_universe wikiPageWikiLink Zero_sharp.
- Constructible_universe wikiPageWikiLinkText "Constructible universe".
- Constructible_universe wikiPageWikiLinkText "Gödel universe".
- Constructible_universe wikiPageWikiLinkText "Gödel's constructible universe".
- Constructible_universe wikiPageWikiLinkText "L".
- Constructible_universe wikiPageWikiLinkText "Relative constructibility".
- Constructible_universe wikiPageWikiLinkText "class L of constructible sets".
- Constructible_universe wikiPageWikiLinkText "consistency of the axiom of choice and of the Generalized Continuum-Hypothesis".
- Constructible_universe wikiPageWikiLinkText "constructibility".
- Constructible_universe wikiPageWikiLinkText "constructible hierarchy".
- Constructible_universe wikiPageWikiLinkText "constructible set".
- Constructible_universe wikiPageWikiLinkText "constructible sets".
- Constructible_universe wikiPageWikiLinkText "constructible universe".
- Constructible_universe wikiPageWikiLinkText "constructible".
- Constructible_universe wikiPageWikiLinkText "relative constructibility".
- Constructible_universe wikiPageWikiLinkText "traditional means".
- Constructible_universe wikiPageUsesTemplate Template:Cite_book.
- Constructible_universe wikiPageUsesTemplate Template:Cite_journal.
- Constructible_universe wikiPageUsesTemplate Template:Redirect.
- Constructible_universe wikiPageUsesTemplate Template:Set_theory.
- Constructible_universe subject Category:Constructible_universe.
- Constructible_universe subject Category:Works_by_Kurt_Gödel.
- Constructible_universe hypernym Class.
- Constructible_universe type Diacritic.
- Constructible_universe type Redirect.
- Constructible_universe comment "In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted L, is a particular class of sets that can be described entirely in terms of simpler sets. It was introduced by Kurt Gödel in his 1938 paper \"The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis\".".
- Constructible_universe label "Constructible universe".
- Constructible_universe sameAs Q2777107.
- Constructible_universe sameAs Konstruovatelná_množina.
- Constructible_universe sameAs Οικοδομήσιμο_Σύμπαν.
- Constructible_universe sameAs Universo_constructible.