CreeperBomb
no edit summary
16:42
−2,039
Cobsonwabag
05:48
+2,039
RhubarbJayde
12:34
+70
20:28
+394
C7X
Created page with "A set \(M\) is admissible if \((M,\in)\) is a model of Kripke-Platek set theory. An ordinal \(\alpha\) is admissible if there exists an admissible set \(M\) such that \(M\cap\textrm{Ord}=\alpha\). This definition of admissibility is equivalent to \(L_\alpha\vDash\textrm{KP}\).<ref>Probably in Barwise somewhere</ref>"
20:42
+317