Admissible: Difference between revisions
no edit summary
RhubarbJayde (talk | contribs) No edit summary |
RhubarbJayde (talk | contribs) No edit summary |
||
Line 1:
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}\), which is itself equivalent to \(\alpha > \omega\), \(\alpha\) being a limit ordinal and \(L_\alpha\) being closed under preimages of \(\alpha\)-recursively enumerable functions.<ref>
|