打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

SHO:修订间差异

来自Googology Wiki
YourCpper留言 | 贡献
创建页面,内容为“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 Ordinal),由Fatalis命名,该名字原本指<math>\varepsilon_0</math>,后来因为不明原因变成了[[BMS]]极限。该序数在Googology中有着极其重要的地位。
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>
|-
|-
|[[Moumtain Notation]]
|[[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>
|}
|}


== 性质 ==
=== 性质 ===
证明论序数:<math>\rm{SHO}</math>的证明论强度在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}(\mathrm{KP}\omega+\Pi_N-\rm{Collection})</math>,通常将这个PTO称为βO。


记号极限:几乎所有[[Hydra结构|多行Hydra]]记号极限都是<math>\rm{SHO}</math>,包括但不限[[BMS]],[[0-Y]],[[Ex-hydra]]等等。[[BHM]]、[[BSM]]的极限也很可能为<math>\rm{SHO}</math>。
极限在此处的记号:几乎所有[[Kirby-Paris Hydra|多行 Hydra]] 记号极限都是 SHO,包括但不限 [[BMS]],[[0-Y]],[[Ex-hydra]] 等等。[[BHM]]、[[BSM]] 的极限也很可能为 SHO。


Catching:如果<math>\rm{SHO}=\rm{PTO}(Z_2)</math>的假设成立,则[[Σ1稳定序数#Non-Gandy 现象|adm稳定]]和pfec稳定的[[Catching]]点有可能位于<math>\rm{SHO}</math>。
如果 <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 命名,该名字原本指 ε0SCO),后来因为不明原因变成了 BMS 极限。该序数在 Googology 中有着极其重要的地位。

序数记号 表达式
稳定序数 ψ(psd.Σωstb)
向上投影 ψ(ψH(εH+1))
1-Y / ω-Y 1,3
Mountain Notation (0)(,,1)
MMS (0)(1,1)
DBMS (0)(1,,1)
Fake Fake Fake Zeta ψZ[εω](εω)
FOS 0,1,ω,ε0

性质

证明论序数:SHO 的证明论强度在 ggg 界还没有定论,主流的观点认为 SHO=PTO(Z2)=PTO(KPω+ΠNCollection),通常将这个PTO称为βO。

极限在此处的记号:几乎所有多行 Hydra 记号极限都是 SHO,包括但不限 BMS0-YEx-hydra 等等。BHMBSM 的极限也很可能为 SHO。

如果 SHO=PTO(Z2) 的假设成立,则 adm 稳定和 pfec 稳定Catching 点有可能位于 SHO。