查看“︁JO”︁的源代码

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

=== 性质 ===
[[证明论序数]]：<math>\rm \Delta_2^1-CA+BI</math>，<math>\rm \Sigma_2^1-AC+BI</math>，<math>\rm KPi</math>，<math>{\rm KP}\beta</math>，<math>\rm CZF+REA</math>，<math>\rm T_0</math>

极限在此处的记号：[[Jäger-Buchholz 函数]]，[[Rathjen's Φ|多维 Rathjen's Φ]]

[[分类:序数]]