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...
8 KB (1,321 words) - 12:19, 1 January 2024
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...
5 KB (664 words) - 21:23, 21 April 2024
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...
41 KB (5,015 words) - 18:36, 22 April 2024
theory Naive set theory S (set theory) Kripke–Platek set theory Scott–Potter set theory Constructive set theory Zermelo set theory General set theory...
1 KB (127 words) - 18:06, 8 February 2024
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...
211 KB (34,880 words) - 17:22, 1 June 2024
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...
91 KB (11,511 words) - 21:47, 23 May 2024
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...
10 KB (1,595 words) - 08:10, 9 September 2023
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...
50 KB (6,506 words) - 11:41, 12 April 2024
set theory such as Kripke–Platek set theory. It is an important tool in effective descriptive set theory. The central focus of hyperarithmetic theory...
14 KB (2,297 words) - 15:00, 2 April 2024
axiomatic set theory, the axiom of empty set is a statement that asserts the existence of a set with no elements. It is an axiom of Kripke–Platek set theory and...
4 KB (648 words) - 07:18, 6 March 2024