LSO：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
无编辑摘要 |
||
| （未显示同一用户的1个中间版本） | |||
| 第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> | |||
|} | |} | ||