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

BO:修订间差异

来自Googology Wiki
Tabelog留言 | 贡献
文字替换 -“BMS”替换为“BMS
量子杰克留言 | 贡献
无编辑摘要
 
(未显示2个用户的2个中间版本)
第1行: 第1行:
BO(Buchholz's Ordinal),是 [[Googology|googology]] 中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数,是 [[PSS Hydra]]、[[HPrSS]]、双行 [[BMS]] 及诸多[[序数记号]]的极限。学会一个 BO 级别的序数记号被认为是 googology 新人入门的标志。
BO(Buchholz's Ordinal),是 [[Googology]] 中一个非常重要的序数。它被认为是具有“里程碑”意义的大序数,是 [[PSS Hydra]]、[[HPrSS]]、双行 [[BMS]] 及诸多[[序数记号]]的极限。学会一个 BO 级别的序数记号被认为是 googology 新人入门的标志。
{| class="wikitable"
{| class="wikitable"
![[序数记号]]
![[序数记号]]
!表达式
!表达式
|-
|-
![[序数坍缩函数#BOCF|BOCF]]/[[序数坍缩函数#MOCF|MOCF]]
![[序数坍缩函数#BOCF|BOCF]] / [[序数坍缩函数#MOCF|MOCF]]
!<math>\psi(\Omega_{\omega})</math>
!<math>\psi(\Omega_{\omega})</math>
|-
|-
|[[BMS]]
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 \\ 0 & 1\\0&1 \end{pmatrix}</math>
|<math>\begin{pmatrix} 0 & 1 \\ 0 & 1\\0&1 \end{pmatrix}=(0)(1,1,1)</math>
|-
|-
|[[0-Y]]
|[[0-Y]]
|<math>1,4</math>
|<math>1,4</math>
|-
|-
|[[Y序列|1-Y]]
|[[Y序列|1-Y]] / [[ω-Y]]
|<math>1,2,4,8</math>
|<math>1,2,4,8</math>
|-
|-
第30行: 第30行:
|[[Catching 函数]]
|[[Catching 函数]]
|<math>C(0)</math>
|<math>C(0)</math>
|-
|FOS
|<math>0,1,\omega,\omega^\omega</math>
|}
|}



2026年8月1日 (六) 04:04的最新版本

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

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

性质

证明论序数Π11CA0Δ21CA0RCA0+Σ10Π10det.RCA0+Δ20RTKPlrKPirKPβrID<ω(ID<ω2)0

极限在此处的记号: PSS HydraHPrSS,双行 BMS(PSS),SIUN,PrGS,b-THIAN,带 & 的 BEAF,ABN I,三就跳函数,FPrSS,mEAN


BO 是 FGHSGH 的第一个追平点