查看“︁LSO”︁的源代码

SSO（Large Stegert Ordinal），是 Stability 的证明论序数，该结论由 Stegert 给出，因此得名。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\alpha2-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\varphi(\alpha,\Omega_{\alpha+1})))</math>
|-
|[[UNOCF]]
|<math>\psi(\Omega_{T+1}^T)</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2)(3,2)(4,1)(2)</math>
|-
|[[0-Y]]
|<math>1,4,8,12,14,5</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,13,18,21,9</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p4(p4(p2))+p1))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math>
|}

=== 性质 ===
[[证明论序数]]：<math>\rm{Stability}</math>

极限在此处的记号：Stegert's OCF，EUAN，62XXY's OCF
[[分类:序数]]