Matches in DBpedia 2015-10 for { ?s ?p "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. "@en }
Showing triples 1 to 1 of
1
with 100 triples per page.
- 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. ".