SCO：修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
小 文字替换 -“weak Veblen 函数”替换为“weak Veblen 函数” |
||
| （未显示同一用户的3个中间版本） | |||
| 第10行： | 第10行： | ||
|<math>\varepsilon_0</math> | |<math>\varepsilon_0</math> | ||
|- | |- | ||
|[[ | |[[Veblen 函数]] | ||
|<math>\varphi(1,0)</math> | |<math>\varphi(1,0)</math> | ||
|- | |- | ||
| 第37行： | 第37行： | ||
|<math>\psi^H_1(\psi^H_2(0))</math> | |<math>\psi^H_1(\psi^H_2(0))</math> | ||
|- | |- | ||
|[[ | |[[weak Veblen 函数]] | ||
|<math>\varphi(1,0,0)</math> | |<math>\varphi(1,0,0)</math> | ||
|- | |- | ||
| 第49行： | 第49行： | ||
|<math>\psi(\Omega_{\omega})/\psi(\Omega_{\psi(\Omega)})</math> | |<math>\psi(\Omega_{\omega})/\psi(\Omega_{\psi(\Omega)})</math> | ||
|- | |- | ||
|[[Dropping | |[[Dropping#M 记号|M 记号]] | ||
|<math>\psi(\psi(M))</math> | |<math>\psi(\psi(M))</math> | ||
|} | |} | ||
| 第56行： | 第56行： | ||
证明论序数：<math>\rm ACA_{0}</math>，<math>\rm KP^{-\infin}</math>，<math>\rm \Delta_{1}^{1}-CA_{0}</math>，<math>\rm \Sigma_{1}^{1}-AC_{0}</math>，<math>\rm \Pi_{0}^{1}-CA_{0}</math>，<math>\rm EM_{0}</math>，[[皮亚诺公理体系|PA]] | 证明论序数：<math>\rm ACA_{0}</math>，<math>\rm KP^{-\infin}</math>，<math>\rm \Delta_{1}^{1}-CA_{0}</math>，<math>\rm \Sigma_{1}^{1}-AC_{0}</math>，<math>\rm \Pi_{0}^{1}-CA_{0}</math>，<math>\rm EM_{0}</math>，[[皮亚诺公理体系|PA]] | ||
极限在此处的记号：[[PrSS]]，[[Kirby-Paris Hydra#Hydra_函数|Hydra 函数]]，[[Beklemishev's Worm|Worm 序列]]，[[燃烧数]]，[[-1 | 极限在此处的记号：[[PrSS]]，[[Kirby-Paris Hydra#Hydra_函数|Hydra 函数]]，[[Beklemishev's Worm|Worm 序列]]，[[燃烧数]]，[[-1-Y]]，[[Goodstein序列|Goodstein 序列]]，Brace 数阵，多维数阵，Friedman 序列，级联 E 记号 | ||
[[分类:序数]] | [[分类:序数]] | ||
