List of ordinals: Difference between revisions

Jump to navigation Jump to search
Content added Content deleted
No edit summary
mNo edit summary
Line 8: Line 8:
* [[omega^omega|\( \omega^{\omega} \)]]
* [[omega^omega|\( \omega^{\omega} \)]]
* [[epsilon_numbers#zero|\( \psi_{0}(\Omega) = \varphi(1,0) = \varepsilon_{0} \)]]<sup>(sort out page)</sup>
* [[epsilon_numbers#zero|\( \psi_{0}(\Omega) = \varphi(1,0) = \varepsilon_{0} \)]]<sup>(sort out page)</sup>
* [[the_veblen_hierarchy#zeta|\( \psi_{0}(\Omega^{2}) = \varphi(2,0) = \zeta_{0} \)]]<sup>(decide if own page)</sup>
* [[veblen_hierarchy#zeta|\( \psi_{0}(\Omega^{2}) = \varphi(2,0) = \zeta_{0} \)]]<sup>(decide if own page)</sup>
* [[the_veblen_hierarchy|\( \psi_{0}(\Omega^{\omega}) = \varphi(\omega,0) \)]]
* [[veblen_hierarchy|\( \psi_{0}(\Omega^{\omega}) = \varphi(\omega,0) \)]]
* [[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>