TFBO：修订间差异
来自Googology Wiki
更多操作
创建页面，内容为“'''TFBO(Takeuti-Feferman-Buchholz ordinal)'''，是Buchholz Hydra的极限。 {| class="wikitable" |+TFBO !记号 !表达式 |- |BOCF |<math>\psi(\Omega_{\omega+1})</math> |- |MOCF |<math>\psi(\psi_\omega(0))</math> |- |BMS |<math>\begin{pmatrix} 0&1&2&3\\ 0&1&1&2\\ 0&1&0&0 \end{pmatrix}</math> |- |0-Y |<math>1,4,6,9</math> |- |Y序列 |<math>1,2,4,8,11,15</math> |- |Bashicu…” |
无编辑摘要 |
||
| （未显示1个用户的5个中间版本） | |||
| 第1行： | 第1行： | ||
''' | '''TFBO（Takeuti-Feferman-Buchholz ordinal）'''，是 [[Buchholz Hydra]] 的极限的[[序数]]。 | ||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | |||
! | |||
!表达式 | !表达式 | ||
|- | |- | ||
| 第11行： | 第10行： | ||
|<math>\psi(\psi_\omega(0))</math> | |<math>\psi(\psi_\omega(0))</math> | ||
|- | |- | ||
|[[ | |[[BMS]] | ||
|<math>\begin{pmatrix} | |<math>\begin{pmatrix} | ||
0&1&2&3\\ | 0&1&2&3\\ | ||
0&1&1&2\\ | 0&1&1&2\\ | ||
0&1&0&0 | 0&1&0&0 | ||
\end{pmatrix}</math> | \end{pmatrix} | ||
=(0)(1,1,1)(2,1)(3,2)</math> | |||
|- | |- | ||
|[[0-Y]] | |[[0-Y]] | ||
|<math>1,4,6,9</math> | |<math>1,4,6,9</math> | ||
|- | |- | ||
|[[Y序列]] | |[[Y序列|1-Y]] / [[ω-Y]] | ||
|<math>1,2,4,8,11,15</math> | |<math>1,2,4,8,11,15</math> | ||
|- | |- | ||
|[[ | |[[BHM]] | ||
|<math>\begin{pmatrix} | |<math>\begin{pmatrix} | ||
0&1&1&2&1&1&2&2&3&1&2&3\\ | 0&1&1&2&1&1&2&2&3&1&2&3\\ | ||
| 第35行： | 第35行： | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
|- | |- | ||
|[[ | |[[Dropping#M 记号|M 记号]] | ||
|<math>\psi(\psi(M\times\omega+M))</math> | |<math>\psi(\psi(M\times\omega+M))</math> | ||
|- | |||
|FOS | |||
|<math>0,1,\omega,\omega^\omega,\omega^\omega+\omega^2,\omega^\omega+\omega^3</math> | |||
|} | |} | ||
== 性质 == | === 性质 === | ||
[[证明论序数]]：<math>\rm\Pi^1_1-CA+BI</math>，<math>\rm KPl</math>，<math>\rm ID_\omega</math>，<math>\rm BID_\omega^2</math> | |||
极限在此处的记号：BPF，[[Buchholz Hydra]]，MPF，Feferman's θ | |||
[[分类:序数]] | |||