List of ordinals: Difference between revisions
Seems unusual to see "L_(recursive ordinal) n P(omega) models (a theory of second-order arithmetic)"
No edit summary |
(Seems unusual to see "L_(recursive ordinal) n P(omega) models (a theory of second-order arithmetic)") |
||
Line 23:
* [[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) \)]], the second infinite primitive recursively principal ordinal
* [[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>. This is the least \(\alpha\) such that \(L_\alpha\cap\mathcal P(\omega)\) satisfies Feferman's theory \(\mathrm{IR}\).<ref>S. G. Simpson, "[https://sgslogic.net/t20/talks/feferfest/paper3.pdf Predicativity: The Outer Limits]" (2000), p.3. Accessed 30 January 2024.</ref>
* [[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\begin{pmatrix}1 \\ \omega\end{pmatrix} \)]], the SVO (Small Veblen ordinal)
| |||