isWeakerThan

URI: https://gptkb.org/prop/isWeakerThan
243 triples
GPTKB property
Alternative names (3)
isStrongerThan • strongerThan • weakerThan
Random triples
Subject Object
gptkb:ZFC_(with_axiom_of_choice) gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice)
gptkb:Hausdorff_property normality
gptkb:Dire_Bear normal bear
gptkb:modal_logic_T gptkb:modal_logic_S4
gptkb:Zermelo_set_theory gptkb:Zermelo–Fraenkel_set_theory
gptkb:Super_Saiyan_Blue_Vegeta Super Saiyan God Vegeta
gptkb:Total_Store_Order Sequential Consistency
gptkb:Kelley–Morse_set_theory gptkb:ZFC_with_large_cardinals
gptkb:Eau_de_parfum gptkb:Parfum
gptkb:axiom_of_dependent_choice gptkb:axiom_of_countable_choice
gptkb:Snapshot_Isolation Serializable isolation
gptkb:Turing_reduction no reduction
gptkb:Π^1_1_comprehension_axiom gptkb:arithmetical_comprehension_axiom
gptkb:T0_separation_axiom gptkb:T6_separation_axiom
gptkb:MK_set_theory NBG set theory (in some formulations)
gptkb:T2_space gptkb:T1_space
gptkb:Solovay_randomness gptkb:Schnorr_randomness
gptkb:MK_set_theory gptkb:Zermelo–Fraenkel_set_theory
gptkb:huge_cardinal rank-into-rank cardinal
gptkb:strongly_compact_cardinal measurable cardinal