数学联邦政治世界观
超小超大

数学(一) (6-1)

递归序数‬

1.0.0(零)。这是最小的序数,也是唯一一个既不是后继也不是极限的序数。

1.1.1(一)。这是最小的后继序号。

1.2.2.

1.3.42(参见[亚当姆斯1981年,第27章])。

1.4.ω.这是最小的极限序数,也是最小的无限序数。

1.5.ω + 1.这是最小的无限后继序数。

1.6.ω2.

1.7.ω2.

1.8.ωω.

1.9.ωωω .

ω

1.10.ε0 = ϕ(1, 0).这是ω,ωω,ωω,的极限。。。,ξ→ψψ的最小不动点;

一般来说,α → εα = ϕ(1,α)定义为枚举不动点的函数

ξ → ωξ.这是阿砣算法的证明理论序数。

1.11.ε1 = ϕ(1, 1).

1.12.εω.

1.13.εε0 .

1.14.ϕ(2, 0).这是ε0,ε0,.。。,ξ → εξ的最小不动点;总的来说,α → ϕ(γ + 1,α)定义为枚举ξ → ϕ(γ,ξ)不动点的函数。

1.15.ϕ(ω, 0).这是在原始递归序数函数下闭合的最小序数>ω([avigad 2002,推论4.5])。

1.16.费夫曼-舒特序数γ0 = ϕ(1,0,0)(也称ψ(ψω)为适当的坍缩函数ψ)。这是ε0,ϕ(ε0,0),ϕ(ϕ(ε0的极限)。。。,ξ → ϕ(ξ的最小不动点,0)。这是ATR0的证明理论序数。

1.17.阿克曼序数ϕ(1,0,0,0)(对于适当的收缩函数ψ也是ψ(ψω2))。

1.18.“小”维布伦序数(对于适当的收缩函数ψ,ψ(ψψ))。这是ϕ(1的极限,0),ϕ(1,0,0),ϕ(1,0,0,0)。。。,具有有限多个变量的凡勃伦函数的值域。

1.19.“大”维布伦序数(对于适当的收缩函数ψ,ψ(ψψ))。这是凡勃伦函数的范围,有那么多变量。

1.20.Bachmann-Howard序数(对于适当的坍缩函数ψ,ψ(ε+1))。这是Kripke-Platek集合论(KP)的证明理论序数。

1.21.εεε+1(“塔库提-费夫曼-布赫霍尔茨序数”)的可数坍缩,它是π1-理解+超限归纳的证明论序数。

0

1.22.εI+1的可数折叠,其中I是第一个不可接近的(=π1-不可描述的)基数。这是Kripke-Platek集合理论的证明理论序数,通过序数类(KPi)的递归不可接近性来扩充,或者,在算术方面

2

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

冰层下的秘密 连载中
冰层下的秘密
一枝春只
幸福只差一步
0.2万字5个月前
当他们被网暴后回奇猫国当了镇长2 连载中
当他们被网暴后回奇猫国当了镇长2
173***038_5050768635
0.3万字5个月前
快穿之大佬只能做废物 连载中
快穿之大佬只能做废物
清零子
【已签约】快穿双男主,强强,1v1,夏杰帆因绝症死于非命却莫名其妙被拉入系统空间,并与废物系统414配对开启了穿越故事,但他并不知道他被另一......
33.1万字5个月前
逆天幻音师尊天下 连载中
逆天幻音师尊天下
梦诣归尘
一把噬仙琴,横行天下,使她在这三界无人能敌,不日比创立了神乐阁,以乐为武器统治了凰玄大陆,但结果总是那么的不完美,被心爱之人背叛,被世交挚友......
18.7万字5个月前
魔族殿下的心尖宠 连载中
魔族殿下的心尖宠
白茶yt
对不起,我爱你所以不能放你离开不管到了任何地方你只能是我的
3.8万字5个月前
甜美的咬痕:血族纨绔狂妃 连载中
甜美的咬痕:血族纨绔狂妃
繁花落尽月沉呤
【已签约】转世续缘,洛佩斯特家始祖洛菲菲.洛佩斯特沉睡转世成为洛飘.洛佩斯特.德古拉,转世的命运又如何?看她如何虐渣女,打绿茶。看撒那特斯如......
4.7万字5个月前