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

序数表

来自Googology Wiki
Optimism留言 | 贡献2025年7月4日 (五) 00:46的版本 序数表

本条目列举出一些有名字的序数,它们大多在googology中具有重大意义

需要注意的是,它们的命名很多来自googology爱好者而非专业数学研究者。

序数表

缩写 英文全称 常规表示方法(BOCF等) BMS/Y
FTO First Transfinite Ordinal ω BMS(0)(1)
LAO Linar Array Ordinal[1] ωω BMS(0)(1)(2)
SCO Small Cantor Ordinal φ(1,0)=ε0=ψ(Ω) BMS(0,0)(1,1)
CO Cantor Ordinal φ(2,0)=ζ0=ψ(Ω2) BMS(0,0)(1,1)(2,1)
HCO Hyper Cantor Ordinal φ(ω,0)=ψ(Ωω) BMS(0,0)(1,1)(2,1)(3,0)
FSO Feferman-Schutte Ordinal φ(1,0,0)=Γ0=ψ(ΩΩ) BMS(0,0)(1,1)(2,1)(3,1)
SVO Small Veblen Ordinal ψ(ΩΩω) BMS(0,0)(1,1)(2,1)(3,1)(4,0)
LVO Large Veblen Ordinal ψ(ΩΩΩ) BMS(0,0)(1,1)(2,1)(3,1)(4,1)
BHO Bachmann-Howard Ordinal ψ(Ω2) BMS(0,0)(1,1)(2,2)
BO Buchholz's Ordinal ψ(Ωω) BMS(0,0,0)(1,1,1)
TFBO Takeuti-Feferman-Buchholz Ordinal ψ(Ωω+1) BMS(0,0,0)(1,1,1)(2,1,0)(3,2,0)
BIO Bird's Ordinal[2] ψ(ΩΩ) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,0)
EBO Extended Buchholz Ordinal ψ(I) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,0)(2,0,0)
JO Jager's Ordinal ψ(ΩI+1) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,0)(4,2,0)
SIO Small Inaccessible Ordinal ψ(Iω) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,1)
MBO Mutiply Buchholz Ordinal ψ(I(ω,0))=ψ(Mω) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,0,0)
SRO Small Rathjen Ordinal ψ(εM+1) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,0)(4,2,0)
SMO Small Mahlo Ordinal ψ(Mω) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,1)(3,1,1)
RO Rathjen's Ordinal ψ(εK+1) BMS(0,0,0)(1,1,1)(2,1,1)(3,1,1)(4,1,0)(5,2,0)
SSO Small Stegert Ordinal ψ(Πω)=ψ(a2) BMS(0,0,0)(1,1,1)(2,2,0)
LSO Large Stegert Ordinal ψ(λα.(α×2)Π0)=ψ(a2a) BMS(0,0,0)(1,1,1)(2,2,0)(3,2,0)(4,1,0)(2,0,0)
BGO TSS 1st Back Gear Ordinal[3] ψ(Π1λα.(Ωα+2)Π1) BMS(0,0,0)(1,1,1)(2,2,1)
SDO Small Dropping Ordinal ψ(λα.(Ωα+ω)Π0) BMS(0,0,0)(1,1,1)(2,2,1)(3,0,0)
LDO Large Dropping Ordinal ψ(λα.(OFP aft α)Π0) BMS(0,0,0)(1,1,1)(2,2,1)(3,2,0)
pLRO p.f.e.c. Large Rathjen Ordinal ψ(ωπΠ0) BMS(0,0,0)(1,1,1)(2,2,2)=ψ(aω)
TSSO Trio Sequence System Ordinal ψ(ωprojection)=ψ(σS×S)=ψ(Hω) BMS(0,0,0,0)(1,1,1,1)
QSSO Quardo Sequence System Ordinal ψ(ψH(HHω))? BMS(0,0,0,0,0)(1,1,1,1,1)
SHO/BMO Small Hydra Ordinal ψ(ψH(εH+1))? Y(1,3)=BMS极限
ΩSSO \Omega Sequence System Ordinal Y(1,3,4,2,5,8,10)
GHO No-Go Hydra Ordinal Y(1,3,4,3)
SYO Small Yukito Ordinal ωY(1,4)
MHO/ωYO Medium Hydra Ordinal ωY 极限
CKO Church-Kleene Ordinal ω1CK
FUO First Uncountable Ordinal ω1
  1. 因为在googology一度经典的线性数阵的极限是它,因此得名
  2. 鸟之数阵第四版的极限是它,因此得名
  3. Bashicu对BGO的原定义是BMS(0,0,0)(1,1,1)(2,2,0)。BGO指(0,0,0)(1,1,1)(2,2,1)是中文googology社区的重命名