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

LAO:修订间差异

来自Googology Wiki
Tabelog留言 | 贡献
文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”
星汐镜Littlekk留言 | 贡献
链接重定向
 
(未显示1个用户的3个中间版本)
第1行: 第1行:
'''LAO(Linar Array Ordinal,线性数阵序数)''',因在 [[googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
'''LAO(Linar Array Ordinal,线性数阵序数)''',因在 [[Googology|googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
{| class="wikitable"
{| class="wikitable"
|+LAO
|+LAO
第8行: 第8行:
|<math>\omega^\omega</math>
|<math>\omega^\omega</math>
|-
|-
|[[Veblen函数|Veblen 函数]]
|[[Veblen 函数]]
|<math>\varphi(\varphi(1))</math>
|<math>\varphi(\varphi(1))</math>
|-
|-
第35行: 第35行:
|<math>\psi^H_1(\psi^H_1(1))</math>
|<math>\psi^H_1(\psi^H_1(1))</math>
|-
|-
|[[Weak Veblen 函数|weak Veblen 函数]]
|[[weak Veblen 函数]]
|<math>\varphi(\omega,0)</math>
|<math>\varphi(\omega,0)</math>
|-
|-

2026年2月26日 (四) 03:57的最新版本

LAO(Linar Array Ordinal,线性数阵序数),因在 googology 一度经典的线性数阵的极限是该序数而得名。

LAO
序数记号 表达式
常用表示 ωω
Veblen 函数 φ(φ(1))
BOCF ψ(ψ(0))
PrSS 0,1,2
BMS (012)
LPrSS 1,2,3
HPrSS 1,2,3
0-Y 1,2,3
1-Y 1,2,3
PSS Hydra ψ1H(ψ1H(1))
weak Veblen 函数 φ(ω,0)
BHM (011)
BSM (011)
NOCF ψ(Ω2)
M 记号 ψ(ψ(1))

性质

LAO 是 FGHMGH 的第一个 Catching 点。


证明论序数:RCA0WKL0PRARCA02CPRCKP+Π1setFoundation+IND

极限在此处的记号:线性数阵,(-2)-Y,TmAF