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

BO

来自Googology Wiki
Tabelog留言 | 贡献2025年7月27日 (日) 12:43的版本

BO(Buchholz's Ordinal),是 googology 中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数,是 PSS HydraHPrSS、双行 BMS 及诸多序数记号的极限。学会一个 BO 级别的序数记号被认为是 googology 新人入门的标志。BO 还是 FGHSGH 的第一个追平点

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证明论序数