List of ordinals: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
Augigogigi (talk | contribs) No edit summary |
Augigogigi (talk | contribs) 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> |
||
* [[ |
* [[veblen_hierarchy#zeta|\( \psi_{0}(\Omega^{2}) = \varphi(2,0) = \zeta_{0} \)]]<sup>(decide if own page)</sup> |
||
* [[ |
* [[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> |