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

SDO:修订间差异

来自Googology Wiki
YourCpper留言 | 贡献
无编辑摘要
YourCpper留言 | 贡献
无编辑摘要
第30行: 第30行:


== 性质 ==
== 性质 ==
证明论序数:<math>\rm{KP}+\exist \rm{next \ n \ many \ admissibles}\text{-}\rm{stable},n \in \omega</math>
记号极限:[[SAN]]、[[R函数]]、[[Dropping Hydra]]等[[Dropping Hydra|N-dropping]]记号;[[TON]]主记号等[[N-shifting]]记号,[[UNOCF]]等多逗号模式记号,[[LPrSS Hydra]]
记号极限:[[SAN]]、[[R函数]]、[[Dropping Hydra]]等[[Dropping Hydra|N-dropping]]记号;[[TON]]主记号等[[N-shifting]]记号,[[UNOCF]]等多逗号模式记号,[[LPrSS Hydra]]
<references />
<references />

2025年8月5日 (二) 21:08的版本

SDO(Small Dropping Ordinal),由Username5243命名[1],指代原版UNOCF极限,同时也是N-droppingN-shifting模式的极限。

序数记号 表达式
稳定序数 ψ(λα.Ωα+ωΠ0)
投影序数 ψ(ψα(Ωα+ω))
向上投影 ψ(ψS(σS*2+ψS3(σS+1)))
UNOCF ψ(C(1{ω}0)))
BMS (0)(1,1,1)(2,2,1)(3)
0-Y 1,4,9,10
1-Y 1,2,4,8,15,16
Ex-hydra p1(p3(p5(p1))))

性质

记号极限:SANR函数Dropping HydraN-dropping记号;TON主记号等N-shifting记号,UNOCF等多逗号模式记号,LPrSS Hydra