Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Morse–Kelley_set_theory> ?p ?o. }
Showing items 1 to 15 of
15
with 100 items per page.
- Morse–Kelley_set_theory abstract "In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG). While von Neumann–Bernays–Gödel set theory restricts the bound variables in the schematic formula appearing in the axiom schema of Class Comprehension to range over sets alone, Morse–Kelley set theory allows these bound variables to range over proper classes as well as sets.Morse–Kelley set theory is named after mathematicians John L. Kelley and Anthony Morse and was first set out in an appendix to Kelley's text book General Topology (1955), a graduate level introduction to topology. Kelley himself referred to it as Skolem–Morse set theory, after Thoralf Skolem. Morse's own version appeared later in his book A Theory of Sets (1965).While von Neumann–Bernays–Gödel set theory is a conservative extension of Zermelo–Fraenkel set theory (ZFC, the canonical set theory) in the sense that a statement in the language of ZFC is provable in NBG if and only if it is provable in ZFC, Morse–Kelley set theory is a proper extension of ZFC. Unlike von Neumann–Bernays–Gödel set theory, where the axiom schema of Class Comprehension can be replaced with finitely many of its instances, Morse–Kelley set theory cannot be finitely axiomatized.".
- Morse–Kelley_set_theory wikiPageID "2693655".
- Morse–Kelley_set_theory wikiPageRevisionID "582068470".
- Morse–Kelley_set_theory subject Category:Systems_of_set_theory.
- Morse–Kelley_set_theory comment "In the foundation of mathematics, Morse–Kelley set theory (MK) or Kelley–Morse set theory (KM) is a first order axiomatic set theory that is closely related to von Neumann–Bernays–Gödel set theory (NBG).".
- Morse–Kelley_set_theory label "Morse–Kelley set theory".
- Morse–Kelley_set_theory label "Teoría de conjuntos de Morse-Kelley".
- Morse–Kelley_set_theory label "Théorie des ensembles de Morse-Kelley".
- Morse–Kelley_set_theory sameAs Morse%E2%80%93Kelley_set_theory.
- Morse–Kelley_set_theory sameAs Kelleyova-Morseova_teorie_množin.
- Morse–Kelley_set_theory sameAs Teoría_de_conjuntos_de_Morse-Kelley.
- Morse–Kelley_set_theory sameAs Théorie_des_ensembles_de_Morse-Kelley.
- Morse–Kelley_set_theory sameAs Q3490369.
- Morse–Kelley_set_theory sameAs Q3490369.
- Morse–Kelley_set_theory wasDerivedFrom Morse–Kelley_set_theory?oldid=582068470.