List of ordinals: Difference between revisions
Most common notation instead of xkcdforums notation
No edit summary |
(Most common notation instead of xkcdforums notation) |
||
Line 12:
* [[feferman-schutte_ordinal|\( \psi_{0}(\Omega^{\Omega}) = \varphi(1,0,0) = \Gamma_{0} \)]], the Feferman-Schutte ordinal and the PTO of ATR<sub>0</sub>
* [[the_veblen_hierarchy#ackermann|\( \psi_{0}(\Omega^{\Omega^{2}}) = \varphi(1,0,0,0) \)]], the Ackermann Ordinal<sup>(decide if keep)</sup>
* [[small_veblen_ordinal|\( \psi_{0}(\Omega^{\Omega^{\omega}}) = \varphi
* [[large_veblen_ordinal|\( \psi_{0}(\Omega^{\Omega^{\Omega}}) \)]], the LVO (Large Veblen ordinal)
* [[bachmann_howard_ordinal|\( \psi_{0}(\Omega_{2}) \)]], the BHO (Bachmann-Howard ordinal)
| |||