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

LDO

来自Googology Wiki
YourCpper留言 | 贡献2025年8月7日 (四) 22:37的版本 (创建页面,内容为“LDO(Large Dropping Ordinal),由 Username5243 命名,指代拓展 UNOCF 极限。该名字曾经也用于指代 {| class="wikitable" |<math>\psi(\psi_\alpha(\Omega_{\alpha_2+1}\times\alpha))</math> |} ( {| class="wikitable" |<math>(0)(1,1,1)(2,2,1)(3,1)(2)</math> |} ) {| class="wikitable" !序数记号 !表达式 |- |稳定序数 |<math>\psi(\lambda\alpha.\Phi(1,\alpha+1)-\Pi_0)</math> |- |投影序数 |<math>\psi(\psi_\alpha(\Omega_{…”)
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)

LDO(Large Dropping Ordinal),由 Username5243 命名,指代拓展 UNOCF 极限。该名字曾经也用于指代

ψ(ψα(Ωα2+1×α))

(0)(1,1,1)(2,2,1)(3,1)(2)

序数记号 表达式
稳定序数 ψ(λα.Φ(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 1,2,4,8,14,19
Ex-hydra p1(p3(p5(p4)))
Fake Fake Fake Zeta ψZ[ε1](ψZ[ε0](ε0×ω))

性质:

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