Statements (28)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:set_theory
|
| gptkbp:allows |
proper classes
|
| gptkbp:alsoKnownAs |
gptkb:Morse–Kelley_set_theory
gptkb:MK_class_theory |
| gptkbp:distinctiveFeature |
stronger comprehension axiom than NBG
|
| gptkbp:firstPublished |
1955
|
| gptkbp:generalizes |
gptkb:von_Neumann–Bernays–Gödel_set_theory
|
| gptkbp:hasApplication |
gptkb:logic
gptkb:category_theory |
| gptkbp:hasAxiom |
gptkb:foundation
choice Union power set infinity replacement pairing class comprehension extensionality |
| gptkbp:hasModel |
gptkb:Gödel's_constructible_universe
|
| https://www.w3.org/2000/01/rdf-schema#label |
Morse–Kelley class theory
|
| gptkbp:isWeakerThan |
gptkb:Zermelo–Fraenkel_set_theory
gptkb:NBG_set_theory gptkb:ZFC_with_large_cardinals |
| gptkbp:namedAfter |
gptkb:Anthony_Morse
gptkb:John_L._Kelley |
| gptkbp:usedIn |
foundations of mathematics
|
| gptkbp:bfsParent |
gptkb:MK_set_theory
|
| gptkbp:bfsLayer |
6
|