查看“︁SSO”︁的源代码

SSO（Small Stegert Ordinal），是 <math>\rm{KP+\Pi_N-ref},N\in\omega</math> 的证明论序数，该结论由 Stegert 给出，因此得名。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[反射序数]]
|<math>\psi(\rm{psd.}\Pi_\omega)</math>
|-
|[[稳定序数]]
|<math>\psi(\lambda\alpha.\alpha+1-\Pi_0)</math>
|-
|[[投影序数]]
|<math>\psi(\psi_\alpha(\varepsilon_{\Omega_{\alpha+1}+1}))=\psi(\psi_\alpha(\alpha_2))</math>
|-
|[[UNOCF]]
|<math>\psi(\varepsilon_{T+1})</math>
|-
|[[BMS]]
|<math>(0)(1,1,1)(2,2)</math>
|-
|[[0-Y]]
|<math>1,4,8</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,8,13</math>
|-
|[[Ex-hydra]]
|<math>p1(p3(p4))</math>
|-
|[[Fake Fake Fake Zeta]]
|<math>\psi_\Zeta[\varepsilon_1](\varepsilon_1)</math>
|}

=== 性质 ===
[[证明论序数]]：<math>\rm{KP+\Pi_N-ref},N\in\omega</math>

极限在此处的记号：[[SAN|pDAN]]、[[Dropping#M 记号|M 记号]]等 [[Dropping Hydra|2-dropping]] 记号，[[反射序数]]
[[分类:序数]]