SHO:修订间差异
来自Googology Wiki
更多操作
创建页面,内容为“SHO(Small Hydra Ordinal),由Fatalis命名,该名字原本指<math>\varepsilon_0</math>,后来因为不明原因变成了BMS极限。该序数在Googology中有着极其重要的地位。 {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\le\psi(\rm{psd.}\Sigma_\omega-\rm{stb})</math> |- |向上投影 |<math>\psi(\psi_H(\varepsilon_{H+1}))</math> |- |1-Y |<math>1,3</math> |- |Moumtain Notat…” |
无编辑摘要 |
||
| (未显示4个用户的9个中间版本) | |||
| 第1行: | 第1行: | ||
SHO(Small Hydra | SHO(Small Hydra Ordinal),又称BMO(Bashicu Matrix Ordinal),由 FataliS1024 命名,该名字原本指 <math>\varepsilon_0</math>([[SCO]]),后来因为不明原因变成了 [[BMS]] 极限。该序数在 [[Googology]] 中有着极其重要的地位。 | ||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | ![[序数记号]] | ||
| 第7行: | 第7行: | ||
|<math>\le\psi(\rm{psd.}\Sigma_\omega-\rm{stb})</math> | |<math>\le\psi(\rm{psd.}\Sigma_\omega-\rm{stb})</math> | ||
|- | |- | ||
|[[投影序数|向上投影]] | |[[投影序数#向上投影|向上投影]] | ||
|<math>\psi(\psi_H(\varepsilon_{H+1}))</math> | |<math>\psi(\psi_H(\varepsilon_{H+1}))</math> | ||
|- | |- | ||
|[[Y序列|1-Y]] | |[[Y序列|1-Y]] / [[ω-Y]] | ||
|<math>1,3</math> | |<math>1,3</math> | ||
|- | |- | ||
|[[ | |[[Mountain Notation]] | ||
|<math>(0)(,,1)</math> | |<math>(0)(,,1)</math> | ||
|- | |- | ||
| 第24行: | 第24行: | ||
|[[Fake Fake Fake Zeta]] | |[[Fake Fake Fake Zeta]] | ||
|<math>\psi_Z[\varepsilon_\omega](\varepsilon_\omega)</math> | |<math>\psi_Z[\varepsilon_\omega](\varepsilon_\omega)</math> | ||
|- | |||
|FOS | |||
|<math>0,1,\omega,\varepsilon_0</math> | |||
|} | |} | ||
== 性质 == | === 性质 === | ||
证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 <math>\rm{SHO}=\rm{PTO}(Z_2)=\rm{PTO}(\mathrm{KP}\omega+\Pi_N-\rm{Collection})</math>,通常将这个PTO称为βO。 | |||
极限在此处的记号:几乎所有[[Kirby-Paris Hydra|多行 Hydra]] 记号极限都是 SHO,包括但不限 [[BMS]],[[0-Y]],[[Ex-hydra]] 等等。[[BHM]]、[[BSM]] 的极限也很可能为 SHO。 | |||
如果 <math>\rm{SHO}=\rm{PTO}(Z_2)</math> 的假设成立,则 [[Σ1稳定序数#Non-Gandy 现象|adm 稳定和 pfec 稳定]]的 [[Catching]] 点有可能位于 SHO。 | |||
[[分类:序数]] | |||
2026年8月1日 (六) 04:36的最新版本
SHO(Small Hydra Ordinal),又称BMO(Bashicu Matrix Ordinal),由 FataliS1024 命名,该名字原本指 (SCO),后来因为不明原因变成了 BMS 极限。该序数在 Googology 中有着极其重要的地位。
| 序数记号 | 表达式 |
|---|---|
| 稳定序数 | |
| 向上投影 | |
| 1-Y / ω-Y | |
| Mountain Notation | |
| MMS | |
| DBMS | |
| Fake Fake Fake Zeta | |
| FOS |
性质
证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 ,通常将这个PTO称为βO。
极限在此处的记号:几乎所有多行 Hydra 记号极限都是 SHO,包括但不限 BMS,0-Y,Ex-hydra 等等。BHM、BSM 的极限也很可能为 SHO。
如果 的假设成立,则 adm 稳定和 pfec 稳定的 Catching 点有可能位于 SHO。