LSO：修订间差异
来自Googology Wiki
更多操作
创建页面，内容为“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> |-…” |
Catching 函数 |
||
| （未显示另一用户的1个中间版本） | |||
| 第1行： | 第1行： | ||
LSO（Large Stegert Ordinal），是 Stability 的证明论序数，该结论由 Stegert 给出，因此得名。 | |||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | ![[序数记号]] | ||
| 第27行： | 第27行： | ||
|[[Fake Fake Fake Zeta]] | |[[Fake Fake Fake Zeta]] | ||
|<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math> | |<math>\psi_\Zeta[\varepsilon_1,\varphi(\omega,0)\times\omega](\varphi(\omega,0)\times\omega)</math> | ||
|- | |||
|[[Catching 函数]] | |||
|<math>C(\varphi(\omega,\Omega+1)\times\omega)</math> | |||
|} | |} | ||
=== 性质 === | |||
[[证明论序数]]：<math>\rm{Stability}</math> | [[证明论序数]]：<math>\rm{Stability}</math> | ||
极限在此处的记号：Stegert's OCF，EUAN，62XXY's OCF | |||
[[分类:序数]] | |||