查看“︁TFBO”︁的源代码

'''TFBO（Takeuti-Feferman-Buchholz ordinal）'''，是 [[Buchholz Hydra]] 的极限的[[序数]]。
{| class="wikitable"
![[序数记号]]
!表达式
|-
|[[序数坍缩函数#BOCF|BOCF]]
|<math>\psi(\Omega_{\omega+1})</math>
|-
|[[序数坍缩函数#MOCF|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序列|1-Y]]
|<math>1,2,4,8,11,15</math>
|-
|[[BHM]]
|<math>\begin{pmatrix}
0&1&1&2&1&1&2&2&3&1&2&3\\
0&1&0&0&0&0&1&0&0&0&0&0
\end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix}
0&1&2&2&3&0&1&1&2&1&1&2
\end{pmatrix}</math>
|-
|[[Dropping#M 记号|M 记号]]
|<math>\psi(\psi(M\times\omega+M))</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 θ

[[分类:序数]]