查看“︁ACO”︁的源代码

ACO（Ackerman's Ordinal，阿克曼序数），是[[Veblen 函数#有限元 Veblen 函数|三元 Veblen 函数]]的极限。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[Veblen 函数]]
|<math>\varphi(1,0,0,0)</math>
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega^{\Omega^2})</math>
|-
|[[OCF#MOCF|MOCF]]
|<math>\psi(\Omega^{\Omega^2})</math>
|-
|[[BMS]]
|<math>(0)(1,1)(2,1)(3,1)(3,1)</math>
|-
|[[HPrSS]]
|<math>1,3,5,7,7</math>
|-
|[[0-Y]]
|<math>1,3,5,7,7</math>
|-
|[[Y序列|1-Y]]
|<math>1,2,4,6,8,8</math>
|-
|[[PSS Hydra]]
|<math>p1(p2(p2(p2+p2)))</math>
|-
|[[weak Veblen 函数]]
|\(\varphi(1@(1,0,0))\)
|-
|[[Dropping#M 记号|M 记号]]
|<math>p(p(M+p(M+p(M)+p(M))))</math>
|}

=== 性质 ===
证明论序数：<math>\rm p_1(\Sigma_1^1-TDC_0)</math>

极限在此处的记号：[[Veblen 函数#有限元 Veblen 函数|三元 Veblen 函数]]

巧合的是，如果使用攀爬法将[[阿克曼函数]]引入序数运算，得到的极限正好是 ACO。
[[分类:序数]]