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

FSO:修订间差异

来自Googology Wiki
Partygoer002留言 | 贡献
无编辑摘要
Z留言 | 贡献
无编辑摘要
第15行: 第15行:
|-
|-
|[[BMS]]
|[[BMS]]
|<math>\begin{pmatrix} 0 & 1 & 2 \\ 0 & 1 & 1 \end{pmatrix}=(0,0)(1,1)(2,1)</math>
|<math>\begin{pmatrix} 0 & 1 & 2&3 \\ 0 & 1 & 1&1 \end{pmatrix}=(0,0)(1,1)(2,1)(3,1)</math>
|-
|-
|[[HPrSS]]
|[[HPrSS]]
第39行: 第39行:
|-
|-
|[[NOCF]]
|[[NOCF]]
|<math>-</math>
|<math>\psi(\Omega_\Omega)</math>
|-
|-
|[[M记号]]
|[[M记号]]
|<math>-</math>
|<math>\psi(\psi(M+\psi(M+\psi(M))))</math>
|}
|}



2025年7月11日 (五) 10:20的版本

FSO(Feferman-Schütte Ordinal,费弗曼-舒特序数,旧称舒特序数),是二元Veblen函数的极限。

FSO
记号 表达式
veblen函数 φ(1,0,0)
BOCF ψ(ΩΩ)=ψ(ψ1(ψ1(ψ1(0))))
MOCF ψ(ΩΩ)
BMS (01230111)=(0,0)(1,1)(2,1)(3,1)
HPrSS 1,3,5,7
0-Y 1,3,5,7
Y序列 1,2,4,6
PSS Hydra ψ1H(ψ2H(ψ2H(ψ2H(0))))
weak veblen函数 \(\varphi(1@(1,0))\)
BHM (0101)
BSM (012)
NOCF ψ(ΩΩ)
M记号 ψ(ψ(M+ψ(M+ψ(M))))

性质

极限在此处的记号

记号