consistencyStrength

30 triples
GPTKB property

Random triples
Subject Object
gptkb:supercompact_cardinal_axiom very high
gptkb:Woodin_cardinal stronger than measurable cardinal
gptkb:extendible_cardinal_axiom very high
gptkb:von_Neumann–Bernays–Gödel_set_theory same as Zermelo–Fraenkel set theory
gptkb:Mahlo_cardinal stronger than inaccessible cardinal
gptkb:measurable_cardinal_axiom stronger than ZFC
gptkb:huge_cardinal very high
gptkb:large_cardinal_axioms higher than ZFC
gptkb:projective_determinacy large cardinals
gptkb:ZFC_with_large_cardinals greater than ZFC
gptkb:Large_Cardinal_Axioms Stronger than ZFC
gptkb:Large_cardinal_axioms Strictly increases with stronger axioms
gptkb:Mahlo_cardinal_axiom between inaccessible and weakly compact cardinal axioms
gptkb:Huge_cardinal_axiom Very high
gptkb:Π^1_1-CA_0 stronger than ATR_0
gptkb:strongly_compact_cardinal_axiom greater than measurable cardinal
gptkb:Inaccessible_cardinal_axiom stronger than ZFC
gptkb:Woodin_cardinal weaker than supercompact cardinal
gptkb:ZFC+large_cardinal_axioms greater than ZFC
gptkb:Supercompact_cardinal_axiom strong