The Kripke–Platek set theory (KP), pronounced /ˈkrɪpki ˈplɑːtɛk/, is an axiomatic set theory developed by Saul Kripke and Richard Platek. The theory can...

The Kripke–Platek set theory with urelements (KPU) is an axiom system for set theory with urelements, based on the traditional (urelement-free) Kripke–Platek...

Zermelo set theory sufficient for the Peano axioms and finite sets; Kripke–Platek set theory, which omits the axioms of infinity, powerset, and choice, and...

theory Naive set theory S (set theory) Kripke–Platek set theory Scott–Potter set theory Constructive set theory Zermelo set theory General set theory...

related to topos theory. It is also used in the study of absoluteness, and there part of the formulation of Kripke-Platek set theory. The restriction...

cardinals. KP Kripke–Platek set theory Kripke 1.  Saul Kripke 2.  Kripke–Platek set theory consists roughly of the predicative parts of set theory Kuratowski...

set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory...

hierarchy. This research is related to weaker versions of set theory such as Kripke–Platek set theory and second-order arithmetic. This box: view talk edit...

set theory Kripke–Platek set theory with urelements Morse–Kelley set theory Naive set theory New Foundations Pocket set theory Positive set theory S (Boolos...

Wittgenstein. His theory of truth. He has also contributed to recursion theory (see admissible ordinal and Kripke–Platek set theory). Two of Kripke's earlier works...