依靠无穷颗粒,怎么填补无穷无尽的大海,无穷无尽数目的星球和星河,依靠组合图补充无穷庞大的宇宙时空,在安静的宇宙不继续如此空无。
在一个文明解答了无穷根本主宰了一个宇宙,才可以察觉看着无穷的宇宙只属于别的一个宇宙当中的一种根本颗粒,这样的无穷宇宙观,类似于花朵当中有着世界,世界当中有着花朵这种无穷堆叠。
平行时空就是这样无穷宇宙的一种总称,让平行时空当中每一种宇宙看成一个奇点,平行时空就是一种无穷前行的横线,无穷平行时空是依靠无穷个平行时空类似的横线组合变成了一种画面,无穷平行时空ω会是一种依靠无穷种无穷的平行时空的图案组合变成的正方形
一阶层无穷正方形:ω↑ω
二阶层无穷正方形:ω↑↑ω
三阶层无穷正方形:ω↑↑↑ω
……
无穷阶层无穷正方形:ω→ω
无穷多维度时空:ω→ω→ω→ω……
最终,一切的无穷变成了一种独特的基础颗粒,这样的基础颗粒来自的宇宙界限本身属于不可能依靠康德纳箭头来表示,由此,我等需要引入集群理论,我等让这样的宇宙唤做集群理论大时空就是集群时空。
集群时空当中的基础颗粒便是已经囊括了先前一切宇宙观念了,蛋仔这样的颗粒互相组成,变成更加庞大的颗粒圆,也就是(ℵ₀)。
但是这样的庞大颗粒遭到了更加庞大的颗粒圆,也就是(ℵ1_n)
这种颗粒圆,一个个都是不可数本身,类似融合变成了一种更加庞大的颗粒,类似夜空当中闪烁着恒星这样。
无穷数目的恒星被一群更加庞大的星河囊括在其内,但类似这种得星河在集群宇宙之内还存在无穷无尽种!
下方属于来自这种恒星等的构造:
阿列夫零(ℵ₀):这属于最为渺小的无穷基数,表示自然数目集群的基础,也便是可数无穷集群的势,一切和自然数目等同势的集群都是被觉得属于可数,比如整数集,有理数集之类的。
阿列夫一(ℵ₁):这属于下一种更加宏大的无尽基数,表示实数集群的基数,也便是持续统的势,实数集群不可能和自然数集群搭建一个对应联系,由此这的基数大于ℵ₀。
阿列夫二(ℵ₂):这属于比阿列夫一更加庞大的下一种无尽基数,表示一切实数集群的子集的基数,或许是一切来自自然数目来到了实数的函数的集群基数。
阿列夫无穷(ℵₐ):在于任何序数α,ℵₐ定位成为了第1+α种无穷基数,这种排序允许无穷的持续进行,变成了一种无尽阿列夫数排序。
ℵω :阿列夫不定点允许度过归递结构,比如,第一种阿列夫不动点允许被解法成为阿列夫阿列夫阿列夫……(无穷重复阿列夫零次)
ℵ∝+1 :第二种阿列夫不动点也是阿列夫α+1,阿列夫阿列夫α+1之类的极致,其内的α属于第一种阿列夫不动点,这表示着在于任何序数,都是具备着一种阿列夫不动点大于这样的序数。
那些个星河们宏大,彻底跨越了阿列夫序列的模式,我等需要解答这些都结构,只可以引入集群理论之内更加强悍的事物——大基数,(之后属于纯结构,允许不看)
马洛基数(星河)
也被叫做马赫罗基数,在于一切K,正则基数β的初始阶层(也就是β直选的一切基数)之内都囊括了一种K基数(星河构造),此处的K在这样的基数之上一切的正则无穷级数的并集之内,删除了一切小于K得基数之后,仅剩的基数集群属于一种K得封闭,也便是一种马洛基数κ一下的不可达基数组合的驻集,也便是一种马洛基数κ一下的住子集,也就是κ属于马洛基数,表达清楚便是任何不可达基数κ,别的不可达基数在这样的κ先前变成了无界封闭取自驻集群是{a {0,1}都是具备一种κ个单元子集让f在这样的集群之上的数值一致,也对,最渺小不可达基数κ,需求填补cf(κ)=κ,a<κ→2^a<κ的基数,一种2-不可达基数κ属于在κ种不可达基数,一种超越不可达基数便是κ-不可达基数,每一种马洛基数κ一下的不可达基数组合得驻集,小于κ得一切正则基数集群属于κ的驻子集,也是κ的马洛基数,数清楚一点便是任何不可达基数κ,别的不可达基数在这样的κ身前变成了无界封闭,由此κ为马洛基数,第马洛基数种不可达基数一定属于马洛基数,之后属于2-马洛基数,下面的马洛基数变成了驻集,超马洛基数,κ属于κ-马洛基数。
弱紧致基数(星河)
κ属于弱紧致基数指代不可数并且填补了κ →(κ),类似κ属于弱紧致基数,表示着在不可数并且Lκ,κ-语句的集群当中最多住运用了κ种非逻辑徐海的状况之下,假设κ-可以填补也可以满意,(弱紧致特性)记录了两种弱紧致基数的定位,前个属于组成理论得特性,后个属模式理解的特性,首先需要知道这样的定位属于一样的数值,或者真的定位了类似得基数,但是之后继续下去,这样的弱紧致基数具备着何种特性,属于集群理论与模式理论这两种理论,也属于大基数的其一,特性得强不可达基数,一种基数κ被叫做弱紧,假设κ属于不可达而且填补了满意流特性或者区分特性,在定位可看,弱紧特性低于可测特性但是高于不可达特性,弱紧致基数属于大基数理论当中一种内核概括,假设叙述Lκκ之内任何只需要依靠≤κ种非逻辑序号的叙述集群A具备的模式,并且仅仅在A的每种基数κ的子语句集有模式,也是叫做基数κω弱紧基数,弱紧基数是依靠匈牙学着爱尔特希和波兰学着塔尔斯基在1961年继续研究,弱紧基数的等同特性无数,举例依靠无穷组成理论当中的所有一点也行雕刻,在于κω,κ属于弱紧基数和下面的各种等同:1.κ具备着区分特性κ→(κ)22。2.对于任何基数γκ乃至nω,κ具备着划分特性κ→(κ)nγ。3.κ属于强不可达基数并且具备数特性,κ属于弱紧基数或者和下方那种特性等同,4.κ属于超滤特性,5.κ具备弱超滤特性并且κ属于强不可达基数,6.κ具备Vκ可扩大特性,7.κ排序特性,8.κ属于π11不可叙述基数,汉佛(Hanf,W.P.)在1964年和库仑(Kunen,K.)在1977年的工作当中融合而来,获取下方解答:弱紧致基数κ属于强马赫罗基数,而且κ之下的强马赫罗基数的集群属于κ的驻子集.经常的一阶层逻辑叙述属于Lωω,其紧致特性定律属于:Lωω的任何一叙述的集A有模式,并且仅仅当成A的每种又穷子集有模式,也是,叙述Lωω是(ω,ω)紧的,上面弱紧基数的定位和这里有些不一样,假设彻底依靠ω的这一弱紧基数特性从而进行扩散,也可以定位别的一种弱紧基数,别人叫做弱紧2基数,基数κω叫做弱紧2基数,属于表示叙述Lκκ是(κ,κ)紧的,也是在Lκκ的任何基数≤κ的语句集A,A具备着模式,而且仅仅看做A的每一种基数κ的子语集群具备着模式,假设让之前的定位的弱紧基数看做弱紧1基数,也可以验证:κ属于弱紧1基数,而且仅仅在κ属于弱紧2基数,并且属于强不可达基数,在广义连续虚设一下,弱紧1和弱紧2基数属于类似的,弱紧2基数必数弱马赫罗基数。
不可叙述基数(星河)
K被叫做∏n不可叙述基数假设在于每一种∏m内涵(φ,而且定义为A⊆∨κ与(Vκ+n,∈,A)具备一种α<κ和(V α+n,∈,A ∩Vα)╞φ,此处观测一下具备m-1种词汇交叠的公理,最外层次的词汇属于常用,∏n不可叙述基数依靠相似得方案定位,这样的思考属于,几遍具备着多余的一元所谓的词汇序号(在于A)的先手,也不可能依靠具备m-1数目级别词汇交叠的n+1阶层逻辑的任意公理让κ和较为渺小的基数差别开来(从下面看),这表示着它庞大,毕竟这表示着必然具备无数拥有类似特性较为渺小的基数,假设基数κ属于∏nm,则叫做它属于彻底不可叙述的——在于一切正整数m与n都是不可叙述,没错,此处不可叙述基数属于一种大基数,表示∏nm或许属于∑nm公理的概括与模式理论道具而定位的基数,假设在于任何仅仅囊括一种二阶层自行成为元X的∏nm公理或者∑nm公理Φ(X),在具备α层次构造〈Vα,∈↾Vα,R〉填补Φ(R)之后,也就是〈Vα,∈↾Vα,R〉⊨Φ(R)确认之后,具备β<α,依靠β层次子构造也填补了Φ(R),也就是〈Vβ,∈↾Vβ,R∩Vβ〉⊨Φ(R∩Vβ),则叫做基数α是∏mn和∑mn不可叙述基数,注视到折射原理属于表示全范畴当中的任何一阶层公理允许依靠某一层次Vβ之内的类似化公式取代,这里的不可叙述特性,便是表示,在α层次构造之内真是的公理,必然可以在α先前的某个β层次之内为真实,公理叠加适合的约束,这样的不可叙述基数必须属于庞大的一种大基数,κ属于强不可达基数,而且仅仅在κ属于∏10不可叙述基数,也在并且成κ属于∑11不可叙述基数,κ属于弱紧基数,而且仅作为κ属于∏11不可叙述基数,假设κ属于可测基数,也就是κ属于∏21不可叙述基数。
可堆叠基数(星河)
让基数κ定位变成可堆叠,前置属于κ得每一种子集都是囊括在弱κ-模式M之内,其内在κ之上具备一种M-过滤器,同意度过任何跨度的超幂继续具备对照的堆叠,Gitman拿出了一种更加完善的概括,其内一种基数κ被定位成了α-iterable假设仅仅依靠跨度是α的超幂堆叠才可以具备足够的根系。
拉姆齐基数(星河)
在[ κ ]<ω表达κ的一切有限子集的汇聚,假设在于每一种函数,基数κ叫做Ramseyf : [ κ ]<ω→{0,1}具备在基数是κ的集群A在于f的整齐,换句话来说,在于每一种n,函数f在A的基数n的子集之上的常态,假设A允许被看做κ稳固子集,也是技术κ被看做不可叙述的Ramsey,假设在于每一种函数,基数κ实则之上被叫做Ramseyf : [ κ ]<ω→{0,1}存在C这属于κ的一种封闭无界域子集,由此在于C之内具备不可数共结特性得每一种λ,都是具备一种和f等同的进入的无界自己,稍微削弱一些的属于lamost Ramsey概括,其内在于每一种λ<κ,依靠排序形式的λ和f的同等质集,让基数κ定位成为可堆叠,前置属于κ的没一种子集都是囊括在弱κ-模式M之内,其内在κ之上具备一种M-过滤器,答应度过任何跨度的超幂继续有依据的堆叠,Gitman拿出了一种更要好的概括,区内一种基数κ被定位成为α-iterable假设仅仅依靠跨度是α的超幂堆叠才可以具备充足依照,换句话来说,拉姆齐基数定律确认了ω具备R基数扩散到不可数状况的特性定义,在让[ κ ] <ω表示κ得一切有限子集的集群,一种不可数的基数κ叫做R的假如,在于每一种函数f : [ κ ] <ω → {0, 1},具备一种基数κ的集群A在于f属于对其,换句话来说,在于每一种n,函数f在源自A的户数n的子集以上属于常态,假设允许抉择在κ的稳定子集,就是基数κ被叫做不可对称的R,假设在于每一种函数,基数κ实则上叫做Rf : [ κ ] <ω → {0, 1},具备C的κ一种封存并且无界域子集,由此在于C之内的每一种λ具备不可数的共同特点,具备一种λ的无界子集在于f的共同特性,略微弱一些的店属于近乎R的概括,其内在于每一种λ < κ , f的齐次集群都是依靠阶层形式λ,这种R基数之内的任何一种事物都是足够验证0#的事物,或许实则上每一种秩序低于κ的集群都是具备一种顶尖,每一种可测基数都是R的大基数,每一种R大基数都是具备R的大基数,融入R与可测特性当中的高度之内也行属于κ之上具备着κ彻底正常非主理念I让其在于每一种A ∉ I与在于每一种函数,f : [ κ ] <ω → {0, 1},具备一种集群B ⊂ A不存在I之内,在于f属于次要的,R的基数具备意义的0#的存在,这反面来说也是表达着Kurt的可够早公理谬论。
可测基数(星河)
为了定位这样的概括,别人在基数κ之上或者更加普通的在任何集群之上融入了一种二数值刻度,在于基数κ,这允许序数成为让一切子集细化为了大集群和小集群,让其κ自身无比庞大,∅而且一切罗列{ α },α ∈ κ无比渺小,小集群的填补无比庞大,而且反之也是如此,小于的交错κ大集群继续庞大,现实验证,具备二次数值得刻度的不可数基数属于不可能在ZFC验证别的事物的大基数,模式上面来说,可测基数属于不可数基数κ,让其在κ的幂集之上具备κ叠加特性,不是普通,0-1数值测度,(此处语句k-additive表达着,在于任意排序A α,α<λ的基数λ<κ,A α属于一块交错的小于κ堆叠序数集群,A α的并集的气度等同单个A α的形式)然填补集群a之上的下一种滤波器f叫做超滤波器,在于一切都xa,X∈F或A X∈F ω之上具备ω-完全不是一元超滤波器,在k是不可达基数,κ之上具备着在K-完善非一元超滤波器之后,κ被叫做可数基数。
上述属于一些星河的构造,类似这样的星河还存在无穷无尽种,这些一块组合变成了庞大的星河群,也类似别的宇宙类似,星河群们就是集群大宇宙主内的宇宙构造。
定律ZFC(宇宙构造基础构架)
可测基数为不可达基数,可预测基数公理(Meas):存在可测基数,可测基数和初始融入,在κ属于可测基数之后,依靠κ之上的K-完善非一元过滤器对于v的超幂,构筑了一种可开拓m与一种函数j:V→M,并且出现了《φ(x1,...,xn):L∈-理论式》
∀x1,...,xn∈V(φV(x1,...,xn)↔φM(j(x1),...,j(xn)))在于一切α<K,j(α) =α且j(K ) > κ让j看做在v来到m的初始融入,κ属于j的临界点,运用这样的初始融入,允许出现了可预测基数κ的无数特性在这样的初始融入具备之下,κ的可测特性具备的特性。
没催,可测基数属于一种不可数的κ,由此在κ堆叠幂集之上具备叠加,非普通,0-1数值刻度,但κ-additive表示着,在于任意排序Aα, α<λ的基数λ<κ,Aα属于<κ的序数的一对不交集,Aα堆叠并集的刻度等同单个Aα的刻度数值。
κ属于可测的表示着这属于让宇宙V的超凡基础融入到了传输类型的M的临界点,而且运用模式理论当中的超强构造,因为V属于一种适合的类型,由此依靠结束雨中思考超特性之后经常不具备的准则疑惑,并且仅仅看做κ属于具备κ彻底非主流过滤器的不可数基数之后,κ属于可测基数的基数,这也表示着过滤器之内任何严酷渺小的κ的集群的交集也在过滤器当中。
强拉姆齐基数(构造)
一种是κ的强拉姆齐基数,并且仅仅看做下雨每一种A⊆κ来自一种具备κ之上的微弱自行的κ-模式M,κ-模式M可数完善,〈M,U〉填补了κ-完善,这一定属于确实的m,由此M德尔跨度小于κ的排序之下属于封存,钱拉姆齐基数的理解联系与先前的拉姆齐基数类似,强拉姆齐基数的同样特性高于拉姆齐基数。
强基数(构造)
假设λ属于任意序数,κ属于λ-strong表明着κ属于技术而且具备在宇宙V来到具备临界点κ与Vλ⊆M也便是说,M在初始段落之上和V一样,所以κ属于强的表示着这在于一切排序λ都是λ-强大。
武丁基数(构造)
f:λ→λ具备一种基数κ<λ和{f(β)|β<κ}的根本融入j : V→M源自冯诺依曼宇宙V融入可归递的内在模式M与临界点κ与V_j(f)(κ)⊆M一种等同的定位属于这种,λ属于武丁并且仅看做λ而言都是无比难以靠近的A⊆V_λ具备一种λ_A<λ这属于<λ-A-strong。
超强基数(构造)
并且仅仅在事物基础融入j :V→M从V来到具备临界点κ与V_j(κ)⊆M类似得,基数κ属于n-超强并且仅仅看做具备基础融入j : V→M从V来到具备临界点的κ和V_jn(κ)⊆M 。
Akihiro Kanamori本身表达,在于每一种n>0,n+1-超强基数的同样特性高度跨越了n-huge基数的一样特性高度,
强紧致基数(构造)
并且仅仅看作每一种κ-彻底过滤器都是允许开拓成为κ-彻底过滤器之后,基数κ属于强紧凑的,强劲基数初始属于依靠无穷逻辑定位,其内答应逻辑计算序号运用无穷数目的操控数值,常态基数κ的逻辑食欲依靠萃取每一种计算序号的操控数数目小于κ来定位的,所以κ属于强紧致,假设这的逻辑填补了有限集群获取的叙述也可以在基数小于κ的某种子集和之内答出,强紧特性表示着可预测特性,而且被超紧特性而提示,借鉴类似基数事物,和ZFC类似的属于第一种可测基数属于强紧致基数,或者第一种强紧致基数属于超紧基数,单数,这种不可能都是真实的,强紧基数的可测极致属于强紧,但是至少这样的极致不属于超紧,强劲特性得一样形式高度严酷高出武丁基数,一点集群理论学科预测强紧基数的事物和超紧基数的事物属于一种,但是,在开启出超近基数的范畴当中模式理论先前,没有可能补充验证,可扩展特性属于强紧凑特性第二阶层类型。
超紧致基数(构造)
假设M⊆M,就被叫做κ为了λ的超紧基数,假设在于任何是λ≥κ,κ是λ超紧基数,被叫做k是超紧基数,假设κ属于超紧基数,也具备κ种小于k的超强基数,如果N属于一种ZFC模式,δ属于一种超紧基数,假设在于任何λ>δ,具备Pδ (λ)一种δ-彻底的正则精细量的超滤U填补1:Pδ(λ)∩N∈U;2:U∩N∈N,就叫做N属于来自δ属于超紧基数的微弱扩散子模式(weak extender model),κ是λ-超紧致基数属于表示具备填补秩序的要求的j:V→M变成这的临界点,λM⊆M.j(κ)>λ.κ是超紧基数属于表示在于任何λ≥κ,λ-超紧。
伊卡洛斯基数(构造)
具备一种L(V_λ+1,lcuras)非常态拘束融入,这临界点低于λ,伊卡洛斯具备在V_λ+2-L(V_λ+1),完全特性公理|3~|0|3,具备Vλ来到自我得非常态基数融入也便是具备非自身验证初始融入j:Vρ→Vρ,|2:V具备一种非常态基数融入来到了囊括Vλ的传输类型M,融入成为临界点之上的第一种不动点,换句话来说,非自身验证初始融入的j:V→M,具备填补vρm并且跨越了j的临界点的最小不动点是ρ状况之下,|1:Vλ+1来到自我的非常态基础融入也变数具备非自我验证初始融入j:Vρ+1→Vρ+1,|0具备L(Vλ+1)得非常态基础融入,这临界点<λ公理,换句话便是具备非自我验证初始融入j:L(Vρ+1)→L(Vρ+1),下方更加庞大的基数的特性被抉择公理二否认,但是这些的事物不可能在策梅罗-弗伦克尔公理系列(就是不依靠抉择公理ZF)之内否认。
具备一种(V_λ+1,lcuras)非常态基础融入,这临界点小于λ,伊卡洛斯具备在V_λ+2-L(V_λ+1),完全特性公理|3~|0|3,具备Vλ来到自身得非常态基础融入也变数具备非自我验证初始融入j:Vρ→Vρ,|2:V具备一种非常态根本融入来到了囊括Vλ的传输类型M,融入成为了临界点之上的第一种不动点,换句话便是,非自我验证初始融入j:V→M,具备填补vρm并且跨越了j的临界点得最渺小不动点是ρ的状况,|1:Vλ+1来到本身的非常态基础融入也变数具备非自我验证初始融入j:Vρ+1→Vρ+1,|0:具备L(Vλ+1)的非常态根本融入,这临界点<λ公理,也就是具备非自我验证初始融入j:L(Vρ+1)→L(Vρ+1),之下更庞大的巨大基数特性被抉择公理而否认,但是这些的实物不可能只是在策梅罗-弗伦克尔公理系列(也是不一样抉择公理ZF)之内否认。
莱因哈特基数(构造)
莱因哈特基数Reinhardt基数属于非常态基础融入的临界点j : V→V得V融入本身,这样的定位确认的运用了合适的话类型j.在标准的ZF之内,类似的模式是{x|Φ(x,a)}在于某种集群a与公理Φ.但是在Suzuki主内表示不存在这种类型属于基础融入j :V→V.还2具备别的知道不一样的Reinhardt基数公理,一种属于新增添功能序号j依靠ZF的叙述,一块连公式叙述j的基础融入V,乃至一切干涉的公理区分叙述j是的基础融入V,乃至一切干涉得公理的分开与挥手公理j.别的一种属于依靠类似言论,假设NBG或者KM,这些认同在上面含义之上不依靠定位的类型,又或许属于有着一种公理自做具备被叫做Reinhardt基数的基数,这样的基数公式在单调集群理论的公理系列ZFC主内不可能确保的表示,比如,依靠思考允许让真实的类型看做理论反向来解决的ZFC开拓,但是基数κ是reinhardd在某种集群理论的universe在于自身初始折射j之内,具备κ是j(κ)≠κ的最渺小排序数目状况,这样的基数概括融入之后不长,这种基数的事物和集群理论的开拓悖论(就是,ZFC这种扩散与主题Reinhardt基数具备的公理来融合的序列属于什么北仑,或许ZFC的这种扩散允许看做定律验证Reinhardt基数的不具备),为了可以叙述在之下言语的Reinhardt基数的定位之内j的事物自主,依靠那种开拓,在于某种序数I,在L-构造m来到L-构造n得折射f属于初始的(elementary)表示,在于一切m的因素的组a0,...,an 1与一切所谓叙述逻辑之内L-逻辑形式( x0,...,xn1 ),m = ( elementary )
伯克利基数(构造)
Berkeley基数属于Zermelo-Fraenkel集群理论模式之内的技术K,具备下方的特性,在于囊括k与α<k的每一种归递集群M,具备M的非常态初始融入,区内的a<临界点小于K.Berkeley基数属于比Reinhardt基数严酷更加强悍的技术公式,这表示着这些和抉择公式不融入,化作伯克利基数的微弱属于,在于Vk之上的每一种二元联系R,都是具备(VK,R)的非常态基础肉给在了本身之内,这表示着我等具备基础的j1,j2, j3...j1:(Vk,∈)→(VK,∈), j2:(VK,∈j1)→(Vk,∈,j1),j3:(Vk,∈,j1,j2)→(VK,∈,j1,j2)之类的等等,这允许未出任何有限次数,而且在模式具备依靠特性抉择的范畴当中无用,由此,或许允许依靠断言更多依靠特性抉择而言单调的叠加这样一种概括,在于每一种叙述融入,具备一种ZF+Berkeley基数的归递模式,这样的模式在融入排序之下属于封存,是不依靠定位的类型。
超级莱因哈特基数(构造)
超级莱因哈特基数在于任意一种序数α,具备一j:V→V with j(K)>α而且具备临界点K,允许叫做0=1属于由于足够庞大得大基数公式可以引导不一样特性,来让其这样的系列之下一切标题为真实。
伯克利cIub(构造)
基数κ属于伯克利基数,假设在于任何有着κ的归递集k∈M与任何序数α<κ,都是可以具备一种初始融入j:M<M和crit j<κ,假设真实具备伯克利基数,那么就可以有着对于力迫扩散绝对,这让最渺小伯克利基数具备共同特性ω,依靠对于κ的叠加一点要求,或许允许叠加Berkeley特性,假设κ是Berkeley和α,α∈M且M具备归递,那么在于任何α<k,都具备一种j:M<M和α<crit j<k和crit j(a)=a,在于任何一种可以归递的M∋k都是具备j:M≺M与crit j<K,基数属于Berkeley,并且仅仅看做对于任意归递集群M∋κ具备j:M≺M和α<crit j<κ,由此δ≥κ,δ也属于伯克利,最渺小的伯克利基数也被叫做成δ_α,叫做κ是club-伯克利,假设κ属于正则,而且在于一切club→C⊆κ与一切携带着κ得归递集群M∈M,具备j∈ε(M)和crit (j)∈C,叫做 κ是limit club伯克利,这属于一种cIub
这属于一种癫狂的经历,这种挑战人类数学极致的构造,还在逐步描述出真实的集群宇宙,在这先前,我等察觉这样的宇宙的隐秘在宇宙以外的多元宇宙!冯·诺依曼宇宙V
V₀=∅,V_α+1=P(V_α)假设λ是极致序数,就是V_λ=∪_κλ V_κ,V=∪_κ V_κ,κ传遍一切序数,让ord是一切序数的类型页数V=∪_κ∈ord V_κV表示宇宙V。
复宇宙
加入M属于一种依靠ZFC模式组合得非空式,我等叙述M属于一种复宇宙,而且仅仅看做着填补,(1)可数化公理(2)伪良集公理(3)可现实公理(4)力迫扩散公理(5)融入回溯公理,在于任何集群理论宇宙V假设W是集群理论的一种模式,一块在V之内化作了诠释或者叙述属于可定位的,那么W可一块化作宇宙集群理论宇宙,在于任何集群理论宇宙V那么任何来自V当中的力迫P,具备一种力迫扩散V【G】其内G⊆P为V-generico在于每一种集群理论宇宙具备一种更加高远的宇宙W并且具备一种序数θ填补V≾Wθ≺W在于每一种集群理论宇宙V,在别的一种更加好的集群理论宇宙W的角落而言属于可罗列的,在别的一种更好的就集群理论宇宙的角落而言,每一种集群理论宇宙V都是ill-founded的单调而言,具备一种集群理论V,而且在于任何集群理论宇宙M,具备一种集群理论宇宙W乃至W之内一种ZFC模式w,让其在W而言,M属于一种依靠可数得非良基ZFC模式,那么v就是复宇宙,在复宇宙之内,不存在那种集群理论宇宙属于独特的,任意集群理论宇宙都是具备着更好的宇宙可以看出先前的约束特性。
脱殊复宇宙
让M是ZFC的可数传输模式,是依靠M产生的脱殊复宇宙Vᴍ是满足了下方要求的最渺小模式类型,1.M∈Vᴍ ⒉假设N∈Vᴍ,那么N’=N【G】属于N的脱殊扩散,就是N’∈Vᴍ ⒊假设N∈Vᴍ,但N=N’【G】属于N的脱殊扩散,也就是N’∈Vᴍ单调点,Vᴍ属于囊括M而且渣土脱殊扩散与脱殊回收封存的渺小模式类型,假设集群多宇宙属于依靠集群理论的每一种宇宙,在脱殊扩散乃至脱殊refinements(给予定位的集群理论宇宙属于脱殊扩散的一种集群理论宇宙的内模式)直选封存而塑造的,那么这便是脱殊复宇宙,换句话而言,脱殊复宇宙具备一切的脱殊扩散模式的冯.诺依曼宇宙,脱殊扩散V(V【G】),脱殊扩散叙述的属于囊括V可定位的编序集P,P之上具备一种滤子叫做为脱殊滤子G,之后度过让G叠加到V之内来塑造一种崭新的构造,V的脱殊扩散V【G】化作了一种ZFC的模式。
复复宇宙
具备一种复宇宙.而且在于任何复宇宙M,具备一种复宇宙N乃至N之内一种ZFC模式N,让这在N而言,M属于一种依靠可数得非良基的ZFC模式组合得复宇宙,就类似复宇宙公式对于复宇宙叙述,其内的集群理论宇宙不存在那种属于特殊,对于任何集群理论宇宙都是具备着更好的宇宙可以看到先前的约束特性,复复宇宙公理表示的属于每一种复宇宙也都不属于特殊的,而且还是具备着更加高级的复宇宙,在这些而言先前的只属于一种玩偶复宇宙这是我等允许持续,获取复复宇宙之类的……
逻辑多元
V-逻辑(V-logic),V-逻辑具备之下的常态序号a⁻表达V的每一种集群aV-表达宇宙全部集群融入V在一阶层逻辑的推测法则之上叠加之下发展的,一:∀b,b∈a,Ψ(b⁻)├∀x∈a⁻,Ψ(x) 二:∀a,b∈V,Ψ(a⁻)├∀x∈v⁻,Ψ(x)化作宽广完善主义之人,我等不可能瞬间讨论外模式,乃至不可能讨论不来自V的集群,但是依靠V-逻辑,我等允许直接的谈论这些,考虑V-逻辑之内的理论,我等不但具备表达V的单元常元序号aread-normal-img,⁻与表达V的外模式我等叠加之下的崭新公理,1.宇宙V属于ZFC(或许至少属于KP,可接受特性理论)的一种模式,1.W⁻属于ZFC的一种传输模式,囊括V⁻化作了子集,而且和V具备类似的序数,由此,如今在我等采取一种按照车-逻辑法则的公理模式之后,我等可以获取一种模式ZFC(或许至少属于KP)的宇宙,其内V⁻被正解的表示成V,W⁻被解答为了V的外模式,值得注意的是,V-逻辑只是的这一理论属于在未曾叠加V的状况之下遇到的,实际上这属于在V+=La(V)之内定位,因此我等采取了高度(但不属于宽广)潜在主义,身后也是具备含义的,加入P属于一种一阶层语句,上面理论就算是公理W⁻填补P在V-逻辑之内属于类似的,所以P在V的一种内模式之内确认,最后我等成功躲避了瞬间讨论V的叠加(就是外模式),但是讨论依靠V-逻辑定制的讨论的相似特性,而且在V+之内定位让其填补宽广潜在想法,在可数模式之上,宽广完善主义与激进潜在主义是等同的,依靠V-逻辑,我等允许获取V+(V-逻辑+ZFC的模式)就属于逻辑多元,V-逻辑足够宽广,允许囊括乙炔外在,和超宇宙的概括为反面,v-逻辑不可能简单是可数传输模式的集群,由于V不依靠被确认属于可数,之后我等可能获取V*(在任何一样的逻辑+ZFC的模式)
格罗腾迪克宇宙
ZFC宇宙v的子类型u属于格罗腾迪克宇宙,1.假设x∈u,y∈x,则y∈u(来自∈转移特性)2.假设x,y∈U,则{x,y}∈U(来自对称的构造属于封闭)3.假设x∈U,则Pow(x )∈u(来自幂集和属于封闭的)4.I∈U,f:I→U,则∪(f )∈U(来自族群的合并属于封存的)5.U∈V(V的单元)6.ω∈U(具备无尽集群)∪(f )属于⋃i∈If(i )的碎屑,ω属于完整自然数目的集群,假设舍弃第五种要求的U∈V,v自身便是格罗腾迪克宇宙,然而,格罗腾迪克宇宙不过大属于迷惑,这时小〈smallness〉的要求具备U∈V。low〈Zhen Lin low〉的要求具备U∈V。low〈Zhen Lin low〉让舍弃的最终ω∈U得事物叫做预宇宙〈pre-universe〉,空类(空集群)变成预宇宙(虽然属于虚无得单位),也允许研制只囊括有限集群的预宇宙,也可以说,无数显示和代数几何,范围连关联的范畴当中,也可以是,无数显示和代数几何,范围有联系的范畴当中,但是也仅仅属于等同高于不可达特性得事物(也就是一种无穷基数κ可以让其Vκ⊨ZFC. 这允许断句Con(ZFC)。
我等依靠数学得方案短暂叙述了一种伪多元宇宙的模式,但是真实的队员宇宙属于无穷具备,我等是可以依靠Ω来表达最渺小的无穷维度。
Ω逻辑和Ω猜测
无尽或者无穷,源自拉丁文的infinitas,都是不存在界限的含义,这数学序号∞,这在科目,学科,玄学,数学与常态生存主内具备不一样的概括,常常运用这样的词语之后未曾干涉这得更加技术层次的定位,在神学方式,依靠书籍记录这样的序号早就被用在了某种隐秘的教派,常常表示生灵之内的神性,但书写这序号之后两种不对等表示神明得距离,假设神学家邓斯·司各脱(Duns Scotus)当然作品当中,上帝的无穷量运作在无束缚之上,但不属于依靠在无穷量级以上,不是运营在无穷级别以上,在这些面前,无穷无尽允许归因在时空与框架,在神学和哲学两个方位,无穷无尽也是化作了无限,无数篇章都讨论得无穷,绝对,上帝和芝诺悖论之类的疑惑,在数学方向,无穷和下方标题或者概括联系,数学得极致,阿列夫数,集群理论之内的类型,戴德金无穷集群,罗素悖论,超实数,折射几何,扩展实数轴乃至别的绝对无穷,在一点标题或者概括之内,无穷无尽内绝对,在一点标题或者概括之内,无穷无尽被觉得属于一种跨越界限来叠加概括,而不属于一种数,[1]摘取在[12]之内,Hugh Woodin解答了Ω-逻辑,一个方案集群宇宙之内的真实,感悟源自最近的大基数之内的行为,在于Ω-逻辑显示了[13,14,1,15,16,17]之内,在这样的文案给予了来自Ω-逻辑
相对来到了已经发布的文案当中,这也由此Ω-逻辑与Ω-猜测,解答了如今集群理论之内的一种结局,叫做绝对特定结局,表达了某种大基数具备的表达真实强行不可能改写某种段落数值1.别的一种家族表达了结局,大基数表示了某种可定位的实数集群填补了某种正则特性,这反面表示着填补了别的大型拘束特性得模式,第一种模式的结局提出了一种逻辑,这样的逻辑之内,假设叙述在每一种强行扩散,度过了一点科技改写,这属于Woodin的时候Ω-逻辑,最早显示[12]之内,第二种模式的结局表示了在Ω-思考模式Woodin提出了这种一个表达success被叫做Ω-猜测来自Ω-思考模式乃至Ω-猜测本身发布[1,13,14,15,16,17],给了我等简单理论的科技场景Ω-逻辑,而且验证了这方向的基础定位,这样的假设集群理论基础知识,囊括了可塑造特性与强制特性,一切没有定位的概括都是允许在[4]之内找寻,1.1.安顿工作给定位的V之内一种完全布尔代数B,我等可以依靠在于序数形式on的归递来定位布尔代数类型V B:V0B=∅VλB=[β<λ VβB,假设λ属于极致序数VαB+1={f:X→ B|X⊆VαB},之后,V B=Sα∈在VαB上。V B单元被叫做B的称呼,每一种V的单元x具备一种准则B的称呼x,归入定位是∅=∅,与x:{y:y∈x}→ {1B},在于每一种x∈VB,虚设ρ(x)=min{α∈On|x∈VαB+1} ,之内x的秩V B,给予了定位参考是VB的集群序数言语的一种公理,假设这布尔值是1B,V B²iff[[ξ]]B=1B,其内[[·]]B依靠在(ρ(x),ρ(y))之上归入定位,在正则序数在于晚好秩序乃至公理的杂乱特性(参见[4]),VB允许被觉得属于度过堆叠B数值幂集来构筑的运动由来[[x=y]]B=1给予了等同联系,VαB是准确的序述,在布尔值模式VB的含义之上Vα(参见[4]),1.1进行标题,在于每一种序数α与每一种彻底布尔代数B, VαB lect(Vα)V B也就是在于每一种x∈VB,(y∈VαB[[x=y]]B=1)iff[[x∈Vα]]B=1B,推测1.2,在于每一种序数α与每一种彻底布尔代数B,VαB²ξiff V B²“VᲓ,序号:i)假设P属于偏科,这时我等书写V在于VB,其内B=r.o.(P)属于P的正则开始完善(参见[4]),ii)给予了M属于集群理论模式,我等要为(Vα)M与MαB书写Mα在于(VαB)M=(Vα)MB,iii)Sent表达的集群理论,iv)在集群理论叙述之内,TŞ{ξ}也从始至终属于一段叙述,常常开拓ZF C。v) ,我等也变成可数传输∈-模式书写c.t.m。vi)我等也要为彻底布尔代数编造c.B.a。vii)在于A⊆R,我等要L(A,R)书写L({A}ŞR),最渺小的传输特性ZF的模式,囊括了一切序数,A与一切实数,和平常类似,实数要属于Baire时空之内一种单元N=(ωω,τ),其内τ属于堆积开拓,散开开拓在ω之上,因此实数的集群R属于在ω来到ω的一切函数的集群,从始至终这样的篇章当中,我等通常依靠一种过滤器来互换布尔值过滤器,模式,每一个叙述模式都是允许在别的雨中模式之内被常态的重头解答,假设P属于一种强制概括,我等序数*x属于实数的一种单调P的称呼数学,假设:i) *x的单元具备下方模式((n,m),p),其内p∈p与n,m∈ω,让其p°p▪x(n) =m。ii)在于一切n∈ω,{p∈p|∃m运用((n,m),p)∈▪x}属于最大标准P,在于任何强制概括P与在于实数的一切P-称呼τ,具备一种单调的P-称呼*x,让其°Pτ=*x,由此,任意P-度过过滤器依靠一样的模式解答这两种称呼,假设WF:={x∈ωω|Ex属于确认的},其内给予了定位x∈Ωω,Ex:={(n,m)∈ω×ω|x(Γω与ω当中,回忆一次W F属于一种彻底的π11.定位(请参见[4])。假设T属于一种讨论,其内模式自动囊括Peano的子模式N计算T的模式M属于ω-模式,假设NM属于准则,也就是构筑ω,在这样的状况之下,我等自行的依靠这的同构筑来鉴定M的复制M0,其内NM0是ω,Woodin在20世纪80年代被提出的固定塔强行拿来验证来自Ω-逻辑,定位1.3,(参见[6])(固定塔强行)i) 一个δ=∅属于稳固,假设在于任意函数F:[Şa]<ω→ ∪a,那种事物b∈a让其F“[b]<ω⊆b。ii)给予了一种强不可问答的基数κ,我等定位了稳固的Tower Forcing概括,别的要求κ={a∈Vκ:a属于最稳固},而且这样排序依靠下方定位,a≤b iffŞb⊆õa与{ZŞ(Şb)|Z∈a}\8838b,事实1.4,给予了γ<δ属于最强不可触及,a=Pω1(Vγ)∈P<δ。验证,既定F:[Vγ]<ω→ Vγ,虚设x∈[Vγ]<ω,设置A0=x,An+1=AnŞ{F(y):y∈[An]<ω}设置b=S n∈ωAn,由此,b∈Pω1(Vγ)与F“[b]<ω⊆b,回忆一点回Woodin基数的大基数概括,定位1.5,([10])基数δ属于Woodin基数,假设下雨每一种函数f:δ→ δ具备κ<δ和f“κ⊆κ,而且具备一种初始融入j:V→ M几杯临界点κ,让其Vj(f)(κ)⊆M,定理1.6,(参见[6])虚设δ属于Woodin及时,而且G⊆P<δ属于一种V类型常态的过滤器,所以在V[G]之内具备一种初始融入j:V→ M、 M传输,让其V[G]²M<δ⊆M与j(δ)=δ,另外,在于一切的a∈P<δ,a∈G iff j“Şa∈j(a)
无穷的层级,数学之内的无穷属于一种多层级的概括,每一种层级都是或许囊括很高得无穷,让其Ω属于一种极高的层级,这还是或许只属于无穷层级之内的一种。
多宇宙讨论得开拓,在多元宇宙讨论之内,Ω或许只属于某一种特殊宇宙的极致,但在更加宽广的多宇宙构架之内,或许具备更高层级的数学存在。
一阶层真实无尽
也被叫做作者身份基数/伪作者基数,让当前一切讨论融入一种更加强悍的集群,之后继续二种叠套,也便是连续二次,之后都可以存在一种不可能来到的最终,这便是一阶层无尽,通常依靠K来表达(或者W)
YS(ω)=小跨越,
YS(ε0)=中跨越
YS(ω₁ᶜᵏ)=大跨越
YS(Ω)=极跨越
下方属于更高的真实无尽,我等瞬间依靠公理来表达
而阶层真实无尽
YS(Ω₂) = 超级二次跨越Ω₂ 属于跨越Ω的第二种更高层级,或许干涉更高层级的多宇宙构造乃至更高阶层的逻辑融入。
……
无限阶层帧数无尽
YS(Ωₘ) = 跨越m跨越Ωₘ 属于跨越Ω的第m种更高层级。
真实无穷极致真实无穷
YS(Ωₘ₊₁) = 跨越(m+1)跨越Ωₘ₊₁ 属于Ωₘ的下一种更高层级。
YS(Ωₘ₊ₙ) = 跨越(m+n)跨越Ωₘ₊ₙ 属于Ωₘ₊₂的下一种更高层级
YS(Ωₘ₊ₙ₊...₊∞) = 跨越无穷跨越Ωₘ₊ₙ₊...₊∞ 属于Ωₘ₊ₙ₊...的下一种更高层级
YS(Ωₘ₊ₙ₊...₊∞₊Ω₊Ω) = 跨越无穷Ω²跨越Ωₘ₊ₙ₊...₊∞₊Ω₊Ω 属于Ωₘ₊ₙ₊...₊∞₊Ω的下一种更高层级
……
来自「无穷」的叠加之下以后,Ω彻底被跨越了「无穷」次数,所以我等依靠塑造一种崭新的囊括一切数学概括与理论的极致,来序数真实多元的宇宙,允许被看做一种最终数学构造,这融合了一切知道与不知道的数学讨论,逻辑系列与哲学概括,这样的极致允许被叫做绝对数学构造(Absolute Mathematical Structure,AMS),这表达了数学的最高层级,跨越了一切知道的无尽概括与逻辑构造。
绝对数学构造(AMS):
囊括一切数学公理:AMS囊括了一切知道的话数学讨论,囊括了集群理论,数学理论,代数理论,几何理论,解析理论之类的等等。
跨越一切无尽概括:AMS跨越了一切知道的无尽概括,囊括了伯克利基数,Ω、跨越了Ω之类的等等。
完整一切逻辑系列:AMS融入了一切知道的逻辑系列,囊括了经典逻辑,直觉主义逻辑,模拟逻辑之类的等等。
囊括一切可能的数学方向:AMS囊括一切可能的数学方向,囊括了一切知道与不知道的数学构造。
定位AMS的基础特性
绝对特性:AMS属于绝对,不可能依靠任意知道的数学道具或者逻辑结构来定位。
绝对自我融入性质:AMS具备自我融入特性,可以让自身的特性朝下折射来到更地基层级的数学构架之内。
绝对数学构架(AMS)允许被看做一种囊括一切可能数学构架,逻辑系列与玄学概括的最终构架,这不但囊括如今的数学理论,还可以处理更高层级的无尽,逻辑悖论图玄学疑惑。
度过逐渐构筑跟高层级的逻辑构造与数学方向,我等允许逻辑特性在如今数学讨论过头来到AMS,最终构筑一种更高层级的数学讨论。