|
gptkb:Mahlo_cardinal_axiom
|
between inaccessible and weakly compact cardinal axioms
|
|
gptkb:inaccessible_cardinal_axiom
|
stronger than ZFC
|
|
gptkb:Supercompact_cardinal_axiom
|
strong
|
|
gptkb:Erdős_cardinal
|
between weakly compact and measurable cardinals
|
|
gptkb:Woodin_cardinal
|
weaker than supercompact cardinal
|
|
gptkb:Large_cardinal_axioms
|
Strictly increases with stronger axioms
|
|
gptkb:Π^1_1-CA_0
|
stronger than ATR_0
|
|
gptkb:Zermelo–Fraenkel_set_theory_with_large_cardinal_axioms
|
greater than ZFC
|
|
gptkb:huge_cardinal
|
very high
|
|
gptkb:large_cardinal_axioms
|
higher than ZFC
|
|
gptkb:Woodin_cardinal
|
stronger than measurable cardinal
|
|
gptkb:weakly_compact_cardinal_axiom
|
weaker than measurable cardinal axiom
|
|
gptkb:Chang's_Conjecture
|
between weakly compact and measurable cardinals
|
|
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
same as Zermelo–Fraenkel set theory
|
|
gptkb:measurable_cardinal_axiom
|
stronger than ZFC
|
|
gptkb:Large_Cardinal_Axioms
|
Stronger than ZFC
|
|
gptkb:Axiom_of_Real_Determinacy
|
strong large cardinal axioms
|
|
gptkb:Inaccessible_cardinal_axiom
|
stronger than ZFC
|
|
gptkb:ZFC_with_large_cardinals
|
greater than ZFC
|
|
gptkb:weakly_compact_cardinal_axiom
|
stronger than inaccessible cardinal axiom
|