GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
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