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> |-…” |
无编辑摘要 |
||
| （未显示2个用户的2个中间版本） | |||
| 第1行： | 第1行： | ||
LSO（Large Stegert Ordinal），是 Stability 的证明论序数，该结论由 Stegert 给出，因此得名。 | |||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | ![[序数记号]] | ||
| 第19行： | 第19行： | ||
|<math>1,4,8,12,14,5</math> | |<math>1,4,8,12,14,5</math> | ||
|- | |- | ||
|[[Y序列|1-Y]] | |[[Y序列|1-Y]] / [[ω-Y]] | ||
|<math>1,2,4,8,13,18,21,9</math> | |<math>1,2,4,8,13,18,21,9</math> | ||
|- | |- | ||
| 第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> | |||
|- | |||
|FOS | |||
|<math>0,1,\omega,\omega^\omega,\omega^{\omega+1},\omega^{\omega+1}2,\omega^{\omega+1}2+\omega^2,\omega^\omega+1</math> | |||
|} | |} | ||
=== 性质 === | |||
[[证明论序数]]：<math>\rm{Stability}</math> | [[证明论序数]]：<math>\rm{Stability}</math> | ||
极限在此处的记号：Stegert's OCF，EUAN，62XXY's OCF | |||
[[分类:序数]] | |||