JO：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小 文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号” |
||
| （未显示2个用户的5个中间版本） | |||
| 第1行： | 第1行： | ||
JO（Jäger's | JO（Jäger's Ordinal），是一个重要的[[序数]]。 | ||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | |||
! | |||
!表达式 | !表达式 | ||
|- | |- | ||
| 第16行： | 第15行： | ||
|<math>1,4,7,9,12</math> | |<math>1,4,7,9,12</math> | ||
|- | |- | ||
|[[Y序列]] | |[[Y序列|1-Y]] | ||
|<math>1,2,4,8,12,15,19</math> | |<math>1,2,4,8,12,15,19</math> | ||
|- | |- | ||
| 第22行： | 第21行： | ||
|<math>p1(p3(p3(p2(p3))))</math> | |<math>p1(p3(p3(p2(p3))))</math> | ||
|- | |- | ||
|[[ | |[[Dropping#M 记号|M 记号]] | ||
|<math>p(p(M^2+M))</math> | |<math>p(p(M^2+M))</math> | ||
|- | |- | ||
|[[投影]] | |[[投影序数|投影]] | ||
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}\times\varepsilon_{\alpha+1}))</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 Φ]] | |||
[[分类:序数]] | [[分类:序数]] | ||