Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Morse–Kelley_set_theory> ?p ?o }
- Morse–Kelley_set_theory abstract "In the foundation of mathematics, Morse–Kelley set theory (MK), Kelley–Morse set theory (KM), Quine–Morse set theory (QM) or the system of Quine and Morse 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, as first suggested by Quine in 1940 for his system ML.Morse–Kelley set theory is named after mathematicians John L. Kelley and Anthony Morse and was first set out by Wang (1949) and later in an appendix to Kelley's text book General Topology (1955), a graduate level introduction to topology. Kelley said the system in his book was a variant of the systems due to Thoralf Skolem and Morse. 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 wikiPageExternalLink 003740.html.
- Morse–Kelley_set_theory wikiPageExternalLink 008208.html.
- Morse–Kelley_set_theory wikiPageID "2693655".
- Morse–Kelley_set_theory wikiPageLength "20097".
- Morse–Kelley_set_theory wikiPageOutDegree "143".
- Morse–Kelley_set_theory wikiPageRevisionID "696350759".
- Morse–Kelley_set_theory wikiPageWikiLink Algebra_of_sets.
- Morse–Kelley_set_theory wikiPageWikiLink Anthony_Morse.
- Morse–Kelley_set_theory wikiPageWikiLink Atomic_sentence.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_choice.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_empty_set.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_extensionality.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_global_choice.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_infinity.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_limitation_of_size.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_pairing.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_power_set.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_regularity.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_of_union.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_schema.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_schema_of_replacement.
- Morse–Kelley_set_theory wikiPageWikiLink Axiom_schema_of_specification.
- Morse–Kelley_set_theory wikiPageWikiLink Bijection.
- Morse–Kelley_set_theory wikiPageWikiLink Binary_relation.
- Morse–Kelley_set_theory wikiPageWikiLink Cardinal_number.
- Morse–Kelley_set_theory wikiPageWikiLink Cartesian_product.
- Morse–Kelley_set_theory wikiPageWikiLink Category:Systems_of_set_theory.
- Morse–Kelley_set_theory wikiPageWikiLink Class_(set_theory).
- Morse–Kelley_set_theory wikiPageWikiLink Conservative_extension.
- Morse–Kelley_set_theory wikiPageWikiLink Constructible_universe.
- Morse–Kelley_set_theory wikiPageWikiLink David_Lewis_(philosopher).
- Morse–Kelley_set_theory wikiPageWikiLink Disjoint_sets.
- Morse–Kelley_set_theory wikiPageWikiLink Domain_of_a_function.
- Morse–Kelley_set_theory wikiPageWikiLink Domain_of_discourse.
- Morse–Kelley_set_theory wikiPageWikiLink Empty_set.
- Morse–Kelley_set_theory wikiPageWikiLink First-order_logic.
- Morse–Kelley_set_theory wikiPageWikiLink Foundations_of_mathematics.
- Morse–Kelley_set_theory wikiPageWikiLink Free_variables_and_bound_variables.
- Morse–Kelley_set_theory wikiPageWikiLink Function_(mathematics).
- Morse–Kelley_set_theory wikiPageWikiLink Function_composition.
- Morse–Kelley_set_theory wikiPageWikiLink Impredicativity.
- Morse–Kelley_set_theory wikiPageWikiLink Inaccessible_cardinal.
- Morse–Kelley_set_theory wikiPageWikiLink Infinite_set.
- Morse–Kelley_set_theory wikiPageWikiLink Injective_function.
- Morse–Kelley_set_theory wikiPageWikiLink Inner_model.
- Morse–Kelley_set_theory wikiPageWikiLink Integer.
- Morse–Kelley_set_theory wikiPageWikiLink Interpretation_(logic).
- Morse–Kelley_set_theory wikiPageWikiLink John_L._Kelley.
- Morse–Kelley_set_theory wikiPageWikiLink John_Lemmon.
- Morse–Kelley_set_theory wikiPageWikiLink Limit_ordinal.
- Morse–Kelley_set_theory wikiPageWikiLink Mnemonic.
- Morse–Kelley_set_theory wikiPageWikiLink Mostowski.
- Morse–Kelley_set_theory wikiPageWikiLink Natural_number.
- Morse–Kelley_set_theory wikiPageWikiLink New_Foundations.
- Morse–Kelley_set_theory wikiPageWikiLink Ontology.
- Morse–Kelley_set_theory wikiPageWikiLink Order_theory.
- Morse–Kelley_set_theory wikiPageWikiLink Ordered_pair.
- Morse–Kelley_set_theory wikiPageWikiLink Ordinal_number.
- Morse–Kelley_set_theory wikiPageWikiLink Peano_axioms.
- Morse–Kelley_set_theory wikiPageWikiLink Power_set.
- Morse–Kelley_set_theory wikiPageWikiLink Predicate_(mathematical_logic).
- Morse–Kelley_set_theory wikiPageWikiLink Range_(mathematics).
- Morse–Kelley_set_theory wikiPageWikiLink Rational_number.
- Morse–Kelley_set_theory wikiPageWikiLink Real_number.
- Morse–Kelley_set_theory wikiPageWikiLink Second-order_logic.
- Morse–Kelley_set_theory wikiPageWikiLink Semantics.
- Morse–Kelley_set_theory wikiPageWikiLink Set-builder_notation.
- Morse–Kelley_set_theory wikiPageWikiLink Set_(mathematics).
- Morse–Kelley_set_theory wikiPageWikiLink Set_theory.
- Morse–Kelley_set_theory wikiPageWikiLink Singleton_(mathematics).
- Morse–Kelley_set_theory wikiPageWikiLink Subset.
- Morse–Kelley_set_theory wikiPageWikiLink Surjective_function.
- Morse–Kelley_set_theory wikiPageWikiLink Syntax.
- Morse–Kelley_set_theory wikiPageWikiLink Thoralf_Skolem.
- Morse–Kelley_set_theory wikiPageWikiLink Topology.
- Morse–Kelley_set_theory wikiPageWikiLink Transfinite_induction.
- Morse–Kelley_set_theory wikiPageWikiLink Unary_operation.
- Morse–Kelley_set_theory wikiPageWikiLink Union_(set_theory).
- Morse–Kelley_set_theory wikiPageWikiLink Universal_class.
- Morse–Kelley_set_theory wikiPageWikiLink Universe_(mathematics).
- Morse–Kelley_set_theory wikiPageWikiLink Urelement.
- Morse–Kelley_set_theory wikiPageWikiLink Von_Neumann_universe.
- Morse–Kelley_set_theory wikiPageWikiLink Von_Neumann–Bernays–Gödel_set_theory.
- Morse–Kelley_set_theory wikiPageWikiLink Well-order.
- Morse–Kelley_set_theory wikiPageWikiLink Willard_Van_Orman_Quine.
- Morse–Kelley_set_theory wikiPageWikiLink Zermelo–Fraenkel_set_theory.
- Morse–Kelley_set_theory wikiPageWikiLinkText "MK".
- Morse–Kelley_set_theory wikiPageWikiLinkText "Morse–Kelley set theory".
- Morse–Kelley_set_theory wikiPageWikiLinkText "Morse–Kelley set theory".
- Morse–Kelley_set_theory wikiPageUsesTemplate Template:Citation.
- Morse–Kelley_set_theory wikiPageUsesTemplate Template:Cite_book.
- Morse–Kelley_set_theory wikiPageUsesTemplate Template:Harvtxt.
- Morse–Kelley_set_theory wikiPageUsesTemplate Template:Mathematical_logic.
- Morse–Kelley_set_theory wikiPageUsesTemplate Template:Set_theory.
- Morse–Kelley_set_theory subject Category:Systems_of_set_theory.
- Morse–Kelley_set_theory hypernym Theory.
- Morse–Kelley_set_theory type Work.
- Morse–Kelley_set_theory type Diacritic.
- Morse–Kelley_set_theory type Redirect.