Kripke–Platek set theory

This page lists the items of the Wikipedia article Kripke–Platek set theory in their order, and the nodes of Math 2.0 that have them. The text of the article is not on this site. The items come from revision 1375397894, with the assessment Start/Mid.

Outcome	Items
deferred	5
attached	2

The gap signals of the article are S1,S5,S6,S8,S9.

Item	Kind	Name	Outcome	Reason
subject	definition	Kripke–Platek set theory	deferred until 2027-05-01	the item has the flag informal (WP9.2)
#68NP	proof	Proof	attached
#8P7H	statement	Theorem	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#9RGD	statement	Theorems	deferred until 2027-05-01	the cue heading names a section and not one item
#JJQY	statement	Theorem	deferred until 2027-05-01	the item has no name of its own, and the write role names it
#M6SW	statement	Axioms	deferred until 2027-05-01	the heading is one word, so it names a part of the text and not one item
#XWVS	proof	Proof	attached

Refer to Wikipedia articles and their nodes for the other articles.