List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
("recursive ordinals" are ordinals less than w1ck, so this was probably meant to be "recursively large") |
No edit summary |
||
| Line 18: | Line 18: | ||
* [[takeuti-feferman-buchholz_ordinal|\( \psi_{0}(\varepsilon_{\Omega_{\omega} + 1}) \)]], the TFBO (Takeuti-Feferman-Buchholz ordinal) |
* [[takeuti-feferman-buchholz_ordinal|\( \psi_{0}(\varepsilon_{\Omega_{\omega} + 1}) \)]], the TFBO (Takeuti-Feferman-Buchholz ordinal) |
||
* [[Bird's ordinal|\( \psi_{0}(\Omega_\Omega) \)]], sometimes known as Bird's ordinal |
* [[Bird's ordinal|\( \psi_{0}(\Omega_\Omega) \)]], sometimes known as Bird's ordinal |
||
* [[ |
* [[extended_buchholz_ordinal|\( \psi_{0}(\Omega_{\Omega_{\dots}}) \)]], the EBO (Extended Buchholz ordinal) |
||
* \( \psi_{\Omega}(\varepsilon_{\chi_1(0)+1}) \), the PTO of KPi (in Rathjen's Mahlo OCF, also applies to the one below) |
* \( \psi_{\Omega}(\varepsilon_{\chi_1(0)+1}) \), the PTO of KPi (in Rathjen's Mahlo OCF, also applies to the one below) |
||
* \( \psi_{\Omega}(\psi_{\chi_{\varepsilon_{M+1}}(0)}(0)) \), the PTO of KPM |
* \( \psi_{\Omega}(\psi_{\chi_{\varepsilon_{M+1}}(0)}(0)) \), the PTO of KPM |
||