Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Statements_true_in_L> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Statements_true_in_L abstract "Here is a list of propositions that hold in the constructible universe (denoted L): The generalized continuum hypothesis and as a consequence The axiom of choice Diamondsuit Clubsuit Global square The existence of morasses The negation of the Suslin hypothesis The non-existence of 0# and as a consequence The non existence of all large cardinals which imply the existence of a measurable cardinal The truth of Whitehead's conjecture that every abelian group A with Ext1(A, Z) = 0 is a free abelian group. The existence of a definable well-order of all sets (the formula for which can be given explicitly). In particular, L satisfies V=HOD.Accepting the axiom of constructibility (which asserts that every set is constructible) these propositions also hold in the von Neumann universe, resolving many propositions in set theory and some interesting questions in analysis.".
- Statements_true_in_L wikiPageID "2292668".
- Statements_true_in_L wikiPageLength "1217".
- Statements_true_in_L wikiPageOutDegree "21".
- Statements_true_in_L wikiPageRevisionID "660956623".
- Statements_true_in_L wikiPageWikiLink Abelian_group.
- Statements_true_in_L wikiPageWikiLink Axiom_of_choice.
- Statements_true_in_L wikiPageWikiLink Axiom_of_constructibility.
- Statements_true_in_L wikiPageWikiLink Category:Constructible_universe.
- Statements_true_in_L wikiPageWikiLink Clubsuit.
- Statements_true_in_L wikiPageWikiLink Constructible_universe.
- Statements_true_in_L wikiPageWikiLink Continuum_hypothesis.
- Statements_true_in_L wikiPageWikiLink Diamond_principle.
- Statements_true_in_L wikiPageWikiLink Diamondsuit.
- Statements_true_in_L wikiPageWikiLink Ext_functor.
- Statements_true_in_L wikiPageWikiLink Free_abelian_group.
- Statements_true_in_L wikiPageWikiLink Global_square.
- Statements_true_in_L wikiPageWikiLink Large_cardinal.
- Statements_true_in_L wikiPageWikiLink Large_cardinals.
- Statements_true_in_L wikiPageWikiLink Measurable_cardinal.
- Statements_true_in_L wikiPageWikiLink Morass_(set_theory).
- Statements_true_in_L wikiPageWikiLink Ordinal_definable_set.
- Statements_true_in_L wikiPageWikiLink Square_principle.
- Statements_true_in_L wikiPageWikiLink Suslin_hypothesis.
- Statements_true_in_L wikiPageWikiLink Suslins_problem.
- Statements_true_in_L wikiPageWikiLink Von_Neumann_universe.
- Statements_true_in_L wikiPageWikiLink Well-order.
- Statements_true_in_L wikiPageWikiLink Whitehead_problem.
- Statements_true_in_L wikiPageWikiLink Zero_sharp.
- Statements_true_in_L wikiPageWikiLinkText "Statements true if all sets are constructible".
- Statements_true_in_L wikiPageWikiLinkText "Statements true in L".
- Statements_true_in_L wikiPageWikiLinkText "statements holding in L".
- Statements_true_in_L wikiPageWikiLinkText "statements true in L".
- Statements_true_in_L hasPhotoCollection Statements_true_in_L.
- Statements_true_in_L subject Category:Constructible_universe.
- Statements_true_in_L hypernym List.
- Statements_true_in_L comment "Here is a list of propositions that hold in the constructible universe (denoted L): The generalized continuum hypothesis and as a consequence The axiom of choice Diamondsuit Clubsuit Global square The existence of morasses The negation of the Suslin hypothesis The non-existence of 0# and as a consequence The non existence of all large cardinals which imply the existence of a measurable cardinal The truth of Whitehead's conjecture that every abelian group A with Ext1(A, Z) = 0 is a free abelian group. ".
- Statements_true_in_L label "Statements true in L".
- Statements_true_in_L sameAs Q7603979.
- Statements_true_in_L sameAs Q7603979.
- Statements_true_in_L wasDerivedFrom Statements_true_in_L?oldid=660956623.
- Statements_true_in_L isPrimaryTopicOf Statements_true_in_L.