Googology-非递归序数第七集-[2]反射和稳定

原作者：佩勒
想象一下有一个集合：{b∈a|b-<1 a}
用(n)封闭集合
即(n)[2]的定义：n-{b∈a|b-<1 a}
不难发现：a(ω)就是(0)[2]，而且(0),(1),(2)等价
于是有：(0)[2]=(1)[2]=(2)[2]
ω-π-1=(0)[2] 1-(0)[2]
ω-π-2=(0)[2] 2-(0)[2]
…
之后会有更强大的东西，总之：(3)-{b∈a|b-<1 a}=(3)[2]
(0-3)[2]
(0-0-3)[2]
(3-3)[2]
(4)[2]
(5)[2]
(psd.ω)[2]
再往上走一次，得到(ω)[2]
接下来是[2]稳定
但要注意，-也有阶级之分
0-ω[2]=sup nth (ω)[2]≠(0-λa.(a+1)-0)[2]
(0-0-λa.(a+1)-1)[2]
(3-λa.(a+1)-1)[2]
(λa.(a+1)-2)[2]
之后和[1]稳定（即前两集）是一样的
(λa.(λb.(b+1)-0[2])-0)[2]
ω-π[2]-0[2]
ω-π[2]-1[2]
ω-π[2]-2[2]
ω-π[2]-3[2]
(ω+1)-π[2]-0[2]
…
最后达到0[3]…
这篇不长，但是发明真正的[2]反射和稳定的人真是个天才

暂无回复，快来抢沙发！