Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Kripke–Platek_set_theory> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Kripke–Platek_set_theory abstract "The Kripke–Platek axioms of set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, are a system of axiomatic set theory developed by Saul Kripke and Richard Platek. KP is weaker than Zermelo–Fraenkel set theory (ZFC). Unlike ZFC, KP does not include the power set axiom, and KP includes only limited forms of the axiom of separation and axiom of replacement from ZFC. These restrictions on the axioms of KP lead to close connections between KP, generalized recursion theory, and the theory of admissible ordinals.".
- Kripke–Platek_set_theory wikiPageID "1124695".
- Kripke–Platek_set_theory wikiPageRevisionID "561582403".
- Kripke–Platek_set_theory subject Category:Systems_of_set_theory.
- Kripke–Platek_set_theory comment "The Kripke–Platek axioms of set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, are a system of axiomatic set theory developed by Saul Kripke and Richard Platek. KP is weaker than Zermelo–Fraenkel set theory (ZFC). Unlike ZFC, KP does not include the power set axiom, and KP includes only limited forms of the axiom of separation and axiom of replacement from ZFC.".
- Kripke–Platek_set_theory label "Kripke–Platek set theory".
- Kripke–Platek_set_theory label "Théorie des ensembles de Kripke-Platek".
- Kripke–Platek_set_theory sameAs Kripke%E2%80%93Platek_set_theory.
- Kripke–Platek_set_theory sameAs Théorie_des_ensembles_de_Kripke-Platek.
- Kripke–Platek_set_theory sameAs Q3526833.
- Kripke–Platek_set_theory sameAs Q3526833.
- Kripke–Platek_set_theory wasDerivedFrom Kripke–Platek_set_theory?oldid=561582403.