阿列夫0:即無窮,諸如ω,ω*2,ω^2,ψ(Ω)…這些可數(shù)序數(shù)都是與它等勢的
可數(shù)序數(shù)又分為遞歸序數(shù)和非遞歸序數(shù)
關(guān)于可數(shù)序數(shù)的介紹移步到文件“科普.1”
。阿列夫一:大多數(shù)的科普中,都直接宣稱實數(shù)集R對應(yīng)的就是阿列夫一,甚至教材中也是如此
但事實上,R所對應(yīng)的應(yīng)該是beth_1,在連續(xù)統(tǒng)假設(shè)成立的情況下,beth_1=阿列夫1
(但你可以選擇不接受連續(xù)統(tǒng)假設(shè)),不接受連續(xù)統(tǒng)假設(shè)的情況下,我們?nèi)匀挥锌赡芄砘Z言構(gòu)造出阿列夫一,即“所有可能序數(shù)的勢“,beth_n:,beth_0=阿列夫0
,beth_n=2^beth_(n-1),外界常說的:
2^阿列夫零=阿列夫一
實際上就是接受了連續(xù)統(tǒng)假設(shè)的情況
在連續(xù)統(tǒng)假設(shè)成立的情況下
beth_n=阿列夫n
阿列夫無窮:
這是一個最小的不可數(shù)奇異基數(shù)
如果我們沿著一條路:
阿列夫零,阿列夫一,阿列夫二……
,一直這樣走下去,最終便會來到阿列夫無窮
阿列夫阿列夫一:
在他之下至少存在不可數(shù)多個基數(shù)
順帶吹一下:
在V_阿列夫阿列夫一的框架下
存在“不可定義”的基數(shù)
這個不可定義的基數(shù)作為ω個可定義基數(shù)的上確界
在更大的一個V_阿列夫阿列夫一+1的層級中
這個不可定義的基數(shù)在這個層級中就可定義
阿列夫不動點:
也就是k=阿列夫k
通俗點說就是:
阿列夫阿列夫阿列夫……
阿列夫不動點層級:
以此類推,你可以不停的創(chuàng)造新的不動點
阿列夫的第二個不動點
第…個不動點的不動點
你甚至可以仿照大數(shù)函數(shù)來做一個不動點計算器
但這些不動點計算器都有一個無法到達(dá)的地方——power admissible
power admissible:
所有阿列夫迭代都無法到達(dá)的一個地方,為方便書寫,以下簡稱為pa
第一個pa是所有關(guān)于阿列夫的迭代都無法到達(dá)的一個點(簡稱為pa_1)
我們還可以有pa_1的下一個阿列夫,pa_1的下一個阿列夫不動點
在pa_1的基礎(chǔ)上進(jìn)行的阿列夫迭代同樣有一個無法到達(dá)的點
這個點就是pa_2,也就是第二個pa
同樣的,我們可以在pa_2的基礎(chǔ)上進(jìn)行阿列夫迭代,但他們到達(dá)不了pa_3……
我們還可以有PA層級的不動點,通俗的說就是pa_pa_pa……
,power recursive inaccessible:
他是所有pa迭代都無法到達(dá)的一個點——第一個power recursive inaccessible,以下簡稱為pri_1,pri_1的基礎(chǔ)上進(jìn)行迭代阿列夫,我們無法到達(dá)的點是pri_1的下一個pa,pri_1的基礎(chǔ)上進(jìn)行迭代pa,我們無法到達(dá)pri_2
,pri層級也可以有不動點……
,世界基數(shù):
首先,對于ZFC,歸納公理模式對于所有∑n語句都有效(n為自然數(shù)),我們把條件限定一下,我們看看分別對于∑0,∑1……這種語句時對應(yīng)的k有多強(qiáng),∑0:k為任意阿列夫
∑1:k是任意pa
∑2:k是任意pri
……
∑3,∑4的情形,增長率是很難想象的
,如果我們讓∑n(n跑遍所有自然數(shù))
就會得到一個無比巨大的基數(shù)
即世界基數(shù),構(gòu)造是V_k=|ZFC,世界基數(shù)層級:
以下將世界基數(shù)簡稱為WC
2-WC中有無上限個WC
3-WC中有無上限個2-WC
……
以此類推,極限為k是k-WC
但這也只是個不動點,我們可以仿照大數(shù)函數(shù),制造出各種各樣的WC計算器,……,不可達(dá)基數(shù):他至少能夠滿足WC在它之中有無界多個,關(guān)于無界的含義,可以理解為想塞多少塞多少,以此類推,同樣可以有不可達(dá)的不動點層級,但我們?nèi)匀豢梢杂胁豢蛇_(dá)的層級:1-不可達(dá)等價于一個枚舉所有不可達(dá)基數(shù)的不動點,2-不可達(dá)等價于:
ZFC+存在1-不可達(dá),n-不可達(dá)等價于:
ZFC+存在(n-1)-不可達(dá),馬洛:
使得全體不可達(dá)基數(shù)在其之下形成駐集
也就是不可達(dá)基數(shù)那一大堆層級都在他之下,無論怎么堆疊,比如什么對不可達(dá)基數(shù)本身進(jìn)行不可達(dá)操作,對不可達(dá)操作本身進(jìn)行不可達(dá)操作……
這些都無法到達(dá)馬洛
2-馬洛使1-馬洛形成駐集……以此類推,駐集操作本質(zhì)上具有比不可達(dá)操作更強(qiáng)的不可達(dá)性,弱緊致:,不可描述基數(shù):,全不可描述基數(shù):,分支——0#存在:
可測基數(shù):,woodin基數(shù):,巨大基數(shù):,公理l0~l3:
l0~l3的變體——伊卡洛斯基數(shù)(貌似有人稱它為終極基數(shù)):,萊茵哈特基數(shù):,伯克利基數(shù):,club伯克利:,伯克利極限:,坦克里?羅哈基數(shù):,關(guān)于V之外的一些想法(有自創(chuàng)成分,該部分不為科普):存在一個V之外的宇宙mx,使得MX見證:對于任意a,使j:V_a→V,φ(a),有φ(Ord)
若存在任意多滿足Th(V_a)的V_gf,gf_0<gf_1均有j:
V_(b_0)+1→V_(b_1)+1
j:V→M是φ(k)(不止該種),φ(j(k))^M,可以將φ推廣到更高階的語句。