查看“︁JO”︁的源代码

JO（Jäger's Ordinal，雅格序数），是一个重要的序数。
{| class="wikitable"
|+JO
!记号
!表达式
|-
|[[OCF#BOCF|BOCF]]
|<math>\psi(\Omega_{I+1})</math>
|-
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 & 2 & 3 & 4\\
                0 & 1 & 1 & 1 & 2\\ 
                0 & 1 & 1 & 0 & 0\end{pmatrix}</math>
|-
|[[0-Y]]
|<math>1,4,7,9,12</math>
|-
|[[Y序列]]
|<math>1,2,4,8,12,15,19</math>
|-
|[[ex-hydra]]
|<math>p1(p3(p3(p2(p3))))</math>
|-
|[[M记号]]
|<math>p(p(M^2+M))</math>
|-
|[[投影]]
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}\times\varepsilon_{\alpha+1}))</math>
|}

=== 性质 ===
JO 是 <math>\rm{KPi}</math> 的[[证明论序数]]。

[[分类:序数]]