Anonymous user
List of ordinals: Difference between revisions
Jump to navigation
Jump to search
no edit summary
No edit summary |
No edit summary |
||
Line 16:
* [[bachmann_howard_ordinal|\( \psi_{0}(\Omega_{2}) \)]], the BHO (Bachmann-Howard ordinal)
* [[buchholz_ordinal|\( \psi_{0}(\Omega_{\omega}) \)]], the BO (Buchholz ordinal)
* [[takeuti-feferman-buchholz_ordinal|\( \psi_{0}(\varepsilon_{\Omega_{\omega} + 1}) \)]], the
* [[extened_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)
| |||