ΩSSO:修订间差异
来自Googology Wiki
更多操作
小无编辑摘要 |
|||
(未显示4个用户的4个中间版本) | |||
第1行: | 第1行: | ||
ΩSSO(Ω Sequence System Ordinal),又名 WSSO,是常规 [[TBMS]] 的极限。因为该序数第一个是 α→α 行 [[ | ΩSSO(Ω Sequence System Ordinal),又名 WSSO,是常规 [[TBMS]] 的极限。因为该序数第一个是 α→α 行 [[BMS]] 的不动点而得名。 | ||
{| class="wikitable" | {| class="wikitable" | ||
![[序数记号]] | ![[序数记号]] | ||
!表达式 | !表达式 | ||
|- | |- | ||
|[[投影序数|向上投影]] | |[[投影序数#向上投影|向上投影]] | ||
|<math>\psi(\psi_H(\varphi(H,1)))</math> | |<math>\psi(\psi_H(\varphi(H,1)))</math> | ||
|- | |- | ||
第22行: | 第22行: | ||
|<math>1,3,7,8,11,12,20</math> | |<math>1,3,7,8,11,12,20</math> | ||
|- | |- | ||
|[[ | |[[Mountain Notation]] | ||
|<math>()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)</math> | |<math>()(,,1)(,2)(,1)(,4,,4)(,5,,4)(,6,4)</math> | ||
|- | |- | ||
第30行: | 第30行: | ||
|[[DBMS]] | |[[DBMS]] | ||
|<math>(0)(1,,1)(2)(1)(2,1,,1)(3,1,,1)(4,1)</math> | |<math>(0)(1,,1)(2)(1)(2,1,,1)(3,1,,1)(4,1)</math> | ||
|- | |||
|[[Fake Fake Fake Zeta]] | |||
|<math>\psi_\Zeta[\varepsilon_\omega,\varepsilon_\omega\times\omega,\varepsilon_\omega\times(\omega+1)](1-Y(1,3,4))</math> | |||
|} | |} | ||
第36行: | 第39行: | ||
ΩSSO 是第一个 α→α 行 BMS 的不动点。 | ΩSSO 是第一个 α→α 行 BMS 的不动点。 | ||
[[分类: | [[分类:序数]] |
2025年8月30日 (六) 21:58的最新版本
ΩSSO(Ω Sequence System Ordinal),又名 WSSO,是常规 TBMS 的极限。因为该序数第一个是 α→α 行 BMS 的不动点而得名。
序数记号 | 表达式 |
---|---|
向上投影 | |
BTBMS | |
1-Y | |
I 1-Y(w\o 1342575) | |
I 1-Y(w\o 1343) | |
III 1-Y | |
Mountain Notation | |
MMS | |
DBMS | |
Fake Fake Fake Zeta |
性质
极限在此处的记号:TBMS
ΩSSO 是第一个 α→α 行 BMS 的不动点。