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

ΩSSO:修订间差异

来自Googology Wiki
YourCpper留言 | 贡献
创建页面,内容为“ΩSSO(Ω Sequence System Ordinal),又名WSSO,是常规TBMS的极限。因为该序数第一个是α→α行BMS的不动点而得名。 {| class="wikitable" !序数记号 !表达式 |- |向上投影 |<math>\psi(\psi_H(\varphi(H,1)))</math> |- |BTBMS |<math>(0)(1^{(2,1)})</math> |- |1-Y |<math>1,3,4,2,5,8,10</math> |- |I 1-Y(w\o 1342575) |<math>1,3,5,6,2,5,10,12</math> |- |变种…”
 
Tabelog留言 | 贡献
无编辑摘要
第1行: 第1行:
ΩSSO(Ω Sequence System Ordinal),又名WSSO,是常规[[TBMS]]的极限。因为该序数第一个是α→α行BMS的不动点而得名。
ΩSSO(Ω Sequence System Ordinal),又名 WSSO,是常规 [[TBMS]] 的极限。因为该序数第一个是 α→α 行 [[Bashicu矩阵|BMS]] 的不动点而得名。
{| class="wikitable"
{| class="wikitable"
![[序数记号]]
![[序数记号]]
第32行: 第32行:
|}
|}


== 性质 ==
=== 性质 ===
记号极限:[[TBMS]]
极限在此处的记号:[[TBMS]]


是第一个α→α行BMS的不动点
ΩSSO 是第一个 α→α 行 BMS 的不动点。
[[分类:记号]]

2025年8月6日 (三) 19:00的版本

ΩSSO(Ω Sequence System Ordinal),又名 WSSO,是常规 TBMS 的极限。因为该序数第一个是 α→α 行 BMS 的不动点而得名。

序数记号 表达式
向上投影 ψ(ψH(φ(H,1)))
BTBMS (0)(1(2,1))
1-Y 1,3,4,2,5,8,10
I 1-Y(w\o 1342575) 1,3,5,6,2,5,10,12
I 1-Y(w\o 1343) 1,3,4,7,10,12
III 1-Y 1,3,7,8,11,12,20
Moumtain Notation ()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)
MMS (0)(1,1)(2)(1)(2,1,1)(3,1,1)(4,1)
DBMS (0)(1,,1)(2)(1)(2,1,,1)(3,1,,1)(4,1)

性质

极限在此处的记号:TBMS

ΩSSO 是第一个 α→α 行 BMS 的不动点。