isWeakerThan

URI: https://gptkb.org/prop/isWeakerThan

243 triples

GPTKB property

isStrongerThan • strongerThan • weakerThan

Subject	Object
gptkb:T-Space	gptkb:Tychonoff_space
gptkb:ZFC_(with_axiom_of_choice)	gptkb:ZF_(Zermelo–Fraenkel_set_theory_without_choice)
gptkb:Kurzweil_integral	Lebesgue integral (in some senses)
gptkb:Morse–Kelley_Set_Theory	gptkb:Zermelo–Fraenkel_set_theory
gptkb:regular_Hausdorff_spaces	Hausdorff space
gptkb:Kripke–Platek_set_theory	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Mega_Creeps	gptkb:Super_Creeps
gptkb:Ramsey_cardinal_axiom	gptkb:measurable_cardinal_axiom
gptkb:Parfum	gptkb:perfume
gptkb:T0_separation_axiom	gptkb:T3_separation_axiom
gptkb:Morse–Kelley_class_theory	gptkb:Zermelo–Fraenkel_set_theory
gptkb:Morse–Kelley_Set_Theory	gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkb:Snapshot_Isolation	Read committed
gptkb:Martin-Löf_randomness	gptkb:Solovay_randomness
gptkb:Firaja	gptkb:Flare
gptkb:RandomAccessIterator	ForwardIterator
gptkb:Blue_Bokoblin	gptkb:Red_Bokoblin
gptkb:Axiom_of_Dependent_Choice	gptkb:Axiom_of_Countable_Choice
gptkb:Dependent_Choice	gptkb:Axiom_of_Choice
gptkb:Eau_de_parfum	Eau de toilette