hasIndependenceResults

URI: https://gptkb.org/prop/hasIndependenceResults
8 triples
GPTKB property
Random triples
Subject Object
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Whitehead's_Problem
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Axiom_of_Constructibility_(V=L)
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Suslin's_Hypothesis
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Martin's_Axiom
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Large_Cardinal_Axioms
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) Diamond Principle
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Continuum_Hypothesis
gptkb:ZFC_(Zermelo–Fraenkel_set_theory_with_Choice) gptkb:Axiom_of_Determinacy