JO：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小 文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号” |
||
| （未显示2个用户的4个中间版本） | |||
| 第1行： | 第1行： | ||
JO（Jäger's | JO（Jäger's Ordinal），是一个重要的[[序数]]。 | ||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | ![[序数记号]] | ||
| 第21行： | 第21行： | ||
|<math>p1(p3(p3(p2(p3))))</math> | |<math>p1(p3(p3(p2(p3))))</math> | ||
|- | |- | ||
|[[Dropping | |[[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> | ||
|} | |} | ||
| 第31行： | 第31行： | ||
[[证明论序数]]：<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> | [[证明论序数]]：<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 Φ]] | |||
[[分类:序数]] | [[分类:序数]] | ||