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

LDO:修订间差异

来自Googology Wiki
量子杰克留言 | 贡献
Catching 函数
量子杰克留言 | 贡献
无编辑摘要
 
第22行: 第22行:
|<math>1,4,9,13</math>
|<math>1,4,9,13</math>
|-
|-
|[[Y序列|1-Y]]
|[[Y序列|1-Y]] / [[ω-Y]]
|<math>1,2,4,8,14,19</math>
|<math>1,2,4,8,14,19</math>
|-
|-
第33行: 第33行:
|[[Catching 函数]]
|[[Catching 函数]]
|<math>C(\Phi(1,0))</math>
|<math>C(\Phi(1,0))</math>
|-
|FOS
|<math>0,1,\omega,\omega^\omega,\omega^{\omega2},\omega^{\omega2}+\omega^{\omega+1}</math>
|}
|}



2026年8月1日 (六) 04:32的最新版本

LDO(Large Dropping Ordinal),由 Username5243 命名,指代拓展 UNOCF 极限。该名字曾经也用于指代 (0)(1,1,1)(2,2,1)(3,1)(2)ψ(ψα(Ωα2+1×α)))。

序数记号 表达式
稳定序数 ψ(λα.Φ(1,α+1)Π0)
投影序数 ψ(ψα(Ωα2+1×α2))
向上投影 ψ(ψS(σS+ψS3(σS+S2)))
Aarex's exUNOCF ψ(C(1{1:0}0)))
BMS (0)(1,1,1)(2,2,1)(3,2)
0-Y 1,4,9,13
1-Y / ω-Y 1,2,4,8,14,19
Ex-hydra p1(p3(p5(p4)))
Fake Fake Fake Zeta ψZ[ε1](ψZ[ε0](ε0×ω))
Catching 函数 C(Φ(1,0))
FOS 0,1,ω,ωω,ωω2,ωω2+ωω+1

性质

极限在此处的记号:NDAN拓展 UNOCF ,LXN,MCS,CIAN v1