consistencyStrength

30 triples
GPTKB property

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