Morse–Kelley Set Theory

URI: https://gptkb.org/entity/Morse–Kelley_Set_Theory

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb:set_theory
gptkbp:abbreviation	MK
gptkbp:allows	proper classes
gptkbp:alsoKnownAs	gptkb:Morse–Kelley_class_theory gptkb:MK_class_theory
gptkbp:basisFor	gptkb:mathematics
gptkbp:citation	Foundations of Mathematics (book by John L. Kelley)
gptkbp:describes	gptkb:set_theory
gptkbp:developedBy	gptkb:Anthony_Morse gptkb:John_L._Kelley
gptkbp:extendsTo	gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkbp:firstPublished	1955
gptkbp:hasAxiom	gptkb:Axiom_of_Choice gptkb:Axiom_of_Empty_Set gptkb:Axiom_of_Extensionality gptkb:Axiom_of_Infinity gptkb:Axiom_of_Pairing gptkb:Axiom_of_Power_Set gptkb:Axiom_of_Regularity gptkb:Axiom_of_Replacement gptkb:Axiom_of_Union gptkb:Axiom_of_Class_Comprehension gptkb:Axiom_of_Foundation gptkb:Axiom_of_Substitution
gptkbp:isConsistentRelativeTo	Zermelo–Fraenkel set theory with Choice
gptkbp:isWeakerThan	gptkb:Zermelo–Fraenkel_set_theory gptkb:von_Neumann–Bernays–Gödel_set_theory
gptkbp:usedIn	gptkb:theoretical_computer_science gptkb:logic gptkb:model_theory gptkb:category_theory gptkb:set-theoretic_topology foundations of mathematics
gptkbp:bfsParent	gptkb:Axiomatic_Set_Theory
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Morse–Kelley Set Theory