查看“︁EBO”︁的源代码

'''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)'''，是扩展BOCF的极限。
{| class="wikitable"
|+EBO
!记号
!表达式
|-
|[[序数坍缩函数#BOCF|BOCF]]
|<math>\psi(\Omega_{\Omega_\ddots})=\psi(I)</math>
|-
|[[序数坍缩函数#MOCF|MOCF]]
|<math>\psi(\Omega_{\Omega_\ddots})=\psi(\psi_I(0))</math>
|-
|[[Bashicu矩阵|BMS]]
|<math>\begin{pmatrix}
0&1&2&3&2\\
0&1&1&1&0\\
0&1&1&0&0
\end{pmatrix}</math>
|-
|[[0-Y]]
|<math>1,4,7,9,5</math>
|-
|[[Y序列]]
|<math>1,2,4,8,12,15,9</math>
|-
|[[Bashicu超矩阵|BHM]]
|<math>\begin{pmatrix}
0&1&1&2&1\\
0&1&0&0&1
\end{pmatrix}</math>
|-
|[[Bashicu急矩阵|BSM]]
|<math>\begin{pmatrix}
0&1\\
0&1
\end{pmatrix}</math>
|-
|[[NOCF]]
|
|-
|[[M记号]]
|<math>\psi(\psi(M^2))</math>
|-
|[[Catching函数]]
|<math>C(\omega)</math>
|}

== 性质 ==
EBO是<math>\rm \Pi^1_1-TR_0</math>的[[证明论序数]]。

EBO是FGH和SGH的第<math>\omega</math>个追平点。

== 极限在此处的记号 ==
{| class="wikitable"
|+记号
|急序列(一行[[Bashicu急矩阵|BSM]])
|}