SHO:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
|||
第27行: | 第27行: | ||
=== 性质 === | === 性质 === | ||
证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 <math>\rm{SHO}=\rm{PTO}(Z_2)=\rm{PTO}(\textbf{KP}\omega+\Pi_N-\rm{Collection})</math> | 证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 <math>\rm{SHO}=\rm{PTO}(Z_2)=\rm{PTO}(\textbf{KP}\omega+\Pi_N-\rm{Collection})</math>,通常将这个PTO称为βO。 | ||
极限在此处的记号:几乎所有[[Kirby-Paris Hydra|多行 Hydra]] 记号极限都是 SHO,包括但不限 [[BMS]],[[0-Y]],[[Ex-hydra]] 等等。[[BHM]]、[[BSM]] 的极限也很可能为 SHO。 | 极限在此处的记号:几乎所有[[Kirby-Paris Hydra|多行 Hydra]] 记号极限都是 SHO,包括但不限 [[BMS]],[[0-Y]],[[Ex-hydra]] 等等。[[BHM]]、[[BSM]] 的极限也很可能为 SHO。 |
2025年8月7日 (四) 21:15的版本
SHO(Small Hydra Ordinal),又称BMO(Bashicu Matrix Ordinal),由 FataliS1024 命名,该名字原本指 (SCO),后来因为不明原因变成了 BMS 极限。该序数在 Googology 中有着极其重要的地位。
序数记号 | 表达式 |
---|---|
稳定序数 | |
向上投影 | |
1-Y | |
Moumtain Notation | |
MMS | |
DBMS | |
Fake Fake Fake Zeta |
性质
证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 ,通常将这个PTO称为βO。
极限在此处的记号:几乎所有多行 Hydra 记号极限都是 SHO,包括但不限 BMS,0-Y,Ex-hydra 等等。BHM、BSM 的极限也很可能为 SHO。
如果 的假设成立,则 adm 稳定和 pfec 稳定的 Catching 点有可能位于 SHO。