打开/关闭菜单
打开/关闭外观设置菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

BO:修订间差异

来自Googology Wiki
Z留言 | 贡献
创建页面,内容为“BO(Buchholz's Ordinal,布赫霍兹序数),是googology中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的序数记号被认为是googology新人入门的标志。BO还是FGHSGH的第一次Catch。”
 
Z留言 | 贡献
无编辑摘要
第1行: 第1行:
BO(Buchholz's Ordinal,布赫霍兹序数),是[[Googology|googology]]中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的[[序数记号]]被认为是googology新人入门的标志。BO还是[[快速增长层级|FGH]]和[[慢速增长层级|SGH]]的第一次Catch。
BO(Buchholz's Ordinal,布赫霍兹序数),是[[Googology|googology]]中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的[[序数记号]]被认为是googology新人入门的标志。BO还是[[快速增长层级|FGH]]和[[慢速增长层级|SGH]]的第一次Catch。
{| class="wikitable"
|+BO
![[序数记号]]
!表达式
|-
![[序数坍缩函数#BOCF|BOCF]]/[[序数坍缩函数#MOCF|MOCF]]
!<math>\psi(\Omega_{\omega})</math>
|-
|[[Bashicu矩阵|BMS]]
|<math>\begin{pmatrix} 0 & 1 \\ 0 & 1\\0&1 \end{pmatrix}</math>
|-
|[[0-Y]]
|<math>1,4</math>
|-
|[[Y序列]]
|<math>1,2,4,8</math>
|-
|[[BHM]]
|<math>\begin{pmatrix} 0 & 1&1&2 \\ 0 & 1&0&0 \end{pmatrix}</math>
|-
|[[BSM]]
|<math>\begin{pmatrix} 0&1&2&2&3  \end{pmatrix}</math>
|-
|[[NOCF]]
|<math>\psi(\Omega_{\Omega_{\omega}})/\psi(\Omega_{\Omega_{\psi(\Omega)}})</math>
|-
|[[M记号]]
|<math>\psi(\psi(M\times\omega))</math>
|-
|[[Catching函数]]
|<math>C(0)</math>
|}
== 性质 ==
BO是<math>\rm{\Pi_1^1-CA_0}</math>的[[证明论序数]]

2025年7月8日 (二) 00:09的版本

BO(Buchholz's Ordinal,布赫霍兹序数),是googology中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数。学会一个BO级别的序数记号被认为是googology新人入门的标志。BO还是FGHSGH的第一次Catch。

BO
序数记号 表达式
BOCF/MOCF ψ(Ωω)
BMS (010101)
0-Y 1,4
Y序列 1,2,4,8
BHM (01120100)
BSM (01223)
NOCF ψ(ΩΩω)/ψ(ΩΩψ(Ω))
M记号 ψ(ψ(M×ω))
Catching函数 C(0)

性质

BO是Π11CA0证明论序数