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

SIO:修订间差异

来自Googology Wiki
YourCpper留言 | 贡献
无编辑摘要
Tabelog留言 | 贡献
文字替换 -“Dropping Hydra#M 记号”替换为“Dropping#M 记号”
 
(未显示2个用户的2个中间版本)
第19行: 第19行:
|<math>p1(p3(p3(p3)))</math>
|<math>p1(p3(p3(p3)))</math>
|-
|-
|[[Dropping Hydra#M 记号|M 记号]]
|[[Dropping#M 记号|M 记号]]
|<math>p(p(M^2\times\omega))</math>
|<math>p(p(M^2\times\omega))</math>
|-
|-
第25行: 第25行:
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}^2\times\omega))</math>
|<math>\psi(\psi_\alpha(\Omega_{\alpha+1}^2\times\omega))</math>
|}
|}
=== 性质 ===
是 α→([[增长层级#快速增长层级|FGH]] 和 [[增长层级#慢速增长层级|SGH]] 的第 α 个 [[Catching]] 点) 的第一个不动点;是 [[序数坍缩函数#BOCF|BOCF]] 和 [[NOCF]] 的第一个 [[Catching]] 点。
[[分类:序数]]

2025年8月17日 (日) 10:40的最新版本

SIO(Small Inaccessible Ordinal),是一个重要的序数

序数记号 表达式
BOCF ψ(Iω)
BMS (0)(1,1,1)(2,1,1)(3,1,1)
0-Y 1,4,7,10
1-Y 1,2,4,8,12,16
ex-hydra p1(p3(p3(p3)))
M 记号 p(p(M2×ω))
投影 ψ(ψα(Ωα+12×ω))

性质

是 α→(FGHSGH 的第 α 个 Catching 点) 的第一个不动点;是 BOCFNOCF 的第一个 Catching 点。