查看“︁LAO”︁的源代码

'''LAO（Linar Array Ordinal，线性数阵序数）'''，因在googology一度经典的线性数阵的极限是它而得名
{| class="wikitable"
|+LAO
!记号
!表达式
|-
|[[序数]]
|<math>\omega^\omega</math>
|-
|[[veblen函数]]
|<math>\varphi(\varphi(1))</math>
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\psi(0))</math>
|-
|[[初等序列系统|PrSS]]
|<math>0,1,2</math>
|-
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 & 2 \end{pmatrix}</math>
|-
|[[长初等序列|LPrSS]]
|<math>1,2,3</math>
|-
|[[HPrSS]]
|<math>1,2,3</math>
|-
|[[0-Y]]
|<math>1,2,3</math>
|-
|[[Y序列]]
|<math>1,2,3</math>
|-
|[[PSS Hydra]]
|<math>\psi^H_1(\psi^H_1(1))</math>
|-
|[[weak veblen函数]]
|<math>\varphi(\omega,0)</math>
|-
|[[BHM]]
|<math>\begin{pmatrix} 0 & 1&1 \end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix} 0&1&1 \end{pmatrix}</math>
|-
|[[NOCF]]
|<math>\psi(\Omega_2)</math>
|-
|[[M记号]]
|<math>\psi(\psi(1))</math>
|}

== 性质 ==

LAO是算术论体系 <math>RCA_0</math>、<math>WKL_0</math>、<math>PRA</math>、<math>RCA_0^2</math>,集合论体系<math>CPRC</math>、<math>KP^-+\Pi_1^{set}-Foundation+IND</math> 的[[证明论序数]]
== 极限在此处的记号 ==

{| class="wikitable"
|+ 记号
|-
| [[线性数阵]]
|}

[[分类:序数]]