List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
(Most common notation instead of xkcdforums notation) |
||
Line 12: | 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> |
* [[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> |
* [[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 |
* [[small_veblen_ordinal|\( \psi_{0}(\Omega^{\Omega^{\omega}}) = \varphi\begin{pmatrix}1 \\ \omega\end{pmatrix} \)]], the SVO (Small Veblen ordinal) |
||
* [[large_veblen_ordinal|\( \psi_{0}(\Omega^{\Omega^{\Omega}}) \)]], the LVO (Large Veblen ordinal) |
* [[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) |
* [[bachmann_howard_ordinal|\( \psi_{0}(\Omega_{2}) \)]], the BHO (Bachmann-Howard ordinal) |