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

FTO:修订间差异

来自Googology Wiki
Z留言 | 贡献
无编辑摘要
QWQ-bili留言 | 贡献
加入“极限在此处的记号”
第1行: 第1行:
'''FTO(First Transfinite Ordinal,第一个超限序数)''',是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。
'''FTO(First Transfinite Ordinal,第一个超限序数)''',是一个重要的[[序数]]。它被认为是具有“里程碑”意义的一个序数。
{| class="wikitable"
{| class="wikitable"
|+FTO
|+FTO
第6行: 第6行:
|-
|-
|[[序数]]
|[[序数]]
|<math>\omega</math>
|<math>\rm \omega</math>
|-
|-
|[[veblen函数]]
|[[veblen函数]]
第14行: 第14行:
|<math>\psi(0)</math>
|<math>\psi(0)</math>
|-
|-
|[[Beklemishev's Worm|Worm序列]]
|[[初等序列系统|PrSS]]
|<math>1,2</math>
|<math>0,1</math>
|-
|-
|[[BMS]]
|[[BMS]]
第53行: 第53行:
== 性质 ==
== 性质 ==


ω 是最小的[[序数#有限序数与超限序数|超限序数]],最小的非零[[序数#极限序数|极限序数]],最小的不满足<math>1+\alpha=\alpha+1</math>的序数<math>\alpha</math>.
<math>\rm \omega = |\omega| = \aleph_{0} </math>,详见[[基数]]。


== 极限在此处的记号 ==
== 极限在此处的记号 ==
{| class="wikitable"
{| class="wikitable"
|
|+ 记号
|-
| [[高德纳箭头]]
|-
| [[阿克曼函数]]
|-
| [[斯坦豪斯-莫泽表示法]]
|-
| [[下箭号表示法]]
|-
| [[超阶乘记号]]
|-
| [[苏丹函数]]
|}
|}

2025年7月14日 (一) 09:09的版本

FTO(First Transfinite Ordinal,第一个超限序数),是一个重要的序数。它被认为是具有“里程碑”意义的一个序数。

FTO
记号 表达式
序数 ω
veblen函数 φ(1)
BOCF ψ(0)
PrSS 0,1
BMS (01)
LPrSS 1,2
HPrSS 1,2
0-Y 1,2
Y序列 1,2
PSS Hydra ψ1H(1)
weak veblen函数 φ(1,0)
BHM (01)
BSM (01)
NOCF ψ(Ω)
M记号 ψ(1)

性质

ω 是最小的超限序数,最小的非零极限序数,最小的不满足1+α=α+1的序数α.

ω=|ω|=0,详见基数

极限在此处的记号

记号
高德纳箭头
阿克曼函数
斯坦豪斯-莫泽表示法
下箭号表示法
超阶乘记号
苏丹函数