EBO：修订间差异
来自Googology Wiki
更多操作
创建页面，内容为“'''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)'''，是扩展BOCF的极限。 {| class="wikitable" |+EBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(I)</math> |- |MOCF |<math>\psi(\Omega_{\Omega_\ddots})=\psi(\psi_I(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3&2\\ 0&1&1&1&0\\ 0&1&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,7,9,5</math> |- |Y…” |
小无编辑摘要 |
||
| 第1行： | 第1行： | ||
'''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)''' | '''EBO(Extended Buchholz Ordinal, 扩展布赫兹序数)'''，是扩展 BOCF 的极限。 | ||
{| class="wikitable" | {| class="wikitable" | ||
|+EBO | |+EBO | ||
| 第42行： | 第42行： | ||
|<math>\psi(\psi(M^2))</math> | |<math>\psi(\psi(M^2))</math> | ||
|- | |- | ||
|[[ | |[[Catching 函数]] | ||
|<math>C(\omega)</math> | |<math>C(\omega)</math> | ||
|} | |} | ||
== 性质 == | == 性质 == | ||
EBO 是 <math>\rm \Pi^1_1-TR_0</math> 的[[证明论序数]]。 | |||
EBO 是 [[增长层级#快速增长层级|FGH]] 和 [[增长层级#慢速增长层级|SGH]] 的第 <math>\omega</math> 个追平点。 | |||
== 极限在此处的记号 == | == 极限在此处的记号 == | ||
{| class="wikitable" | {| class="wikitable" | ||
|+记号 | |+记号 | ||
| | |SSS(一行[[Bashicu急矩阵|BSM]]) | ||
|} | |} | ||