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

LAO:修订间差异

来自Googology Wiki
Tabelog留言 | 贡献
文字替换 -“weak Veblen 函数”替换为“weak Veblen 函数
量子杰克留言 | 贡献
无编辑摘要
 
(未显示另一用户的1个中间版本)
第1行: 第1行:
'''LAO(Linar Array Ordinal,线性数阵序数)''',因在 [[googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
'''LAO(Linar Array Ordinal,线性数阵序数)''',因在 [[Googology|googology]] 一度经典的线性数阵的极限是该[[序数]]而得名。
{| class="wikitable"
{| class="wikitable"
|+LAO
|+LAO
第5行: 第5行:
!表达式
!表达式
|-
|-
|常用表示
|[[康托范式]]
|<math>\omega^\omega</math>
|<math>\omega^\omega</math>
|-
|-
第20行: 第20行:
|<math>\begin{pmatrix} 0 & 1 & 2 \end{pmatrix}</math>
|<math>\begin{pmatrix} 0 & 1 & 2 \end{pmatrix}</math>
|-
|-
|[[长初等序列|LPrSS]]
|[[长初等序列|LPrSS]] / [[HPrSS]] / [[0-Y]] / [[Y序列|1-Y]] / [[ω-Y]]
|<math>1,2,3</math>
|-
|[[HPrSS]]
|<math>1,2,3</math>
|-
|[[0-Y]]
|<math>1,2,3</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,3</math>
|<math>1,2,3</math>
|-
|-
第38行: 第29行:
|<math>\varphi(\omega,0)</math>
|<math>\varphi(\omega,0)</math>
|-
|-
|[[BHM]]
|[[BHM]] / [[BSM]]
|<math>\begin{pmatrix} 0 & 1&1 \end{pmatrix}</math>
|<math>\begin{pmatrix} 0 & 1&1 \end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix} 0&1&1 \end{pmatrix}</math>
|-
|-
|[[NOCF]]
|[[NOCF]]

2026年8月1日 (六) 03:45的最新版本

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

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

性质

LAO 是 FGHMGH 的第一个 Catching 点。


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

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