RhubarbJayde
no edit summary
12:58
+4
11:28
+30
11:13
−4
Created page with "Kripke-Platek set theory, commonly abbreviated KP, is a weak foundation of set theory used to define admissible ordinals, which are immensely important in ordinal analysis and \(\alpha\)-recursion theory. In terms of proof-theoretic strength, its proof-theoretic ordinal is the BHO, and it is thus intermediate between \(\mathrm{ATR}_0\) and \(\Pi^1_1 \mathrm{-CA}_0\). The axioms of KP are..."
16:52
+2,514