手机浏览器扫描二维码访问
事实上,虽然都是无意义源流。
可如今穆苍所处的「第二重世间」内的这一座源流,却是在整体强度层面上,远远超越了那「第一重世间」【终乂绝数】级……或可称莱因哈特基数级源流的更高阶源流。
而与这一座无意义源流驻立的未知等阶异数强度所对应的大基数,则赫然是……特殊-完全莱茵哈特基数。
若想要理解这一大基数,便要从超级莱因哈特基数讲起。
所谓超级莱因哈特基数,顾名思义便是莱因哈特基数的超级高阶加强版本。
所以其在本质上,亦属于一种非平凡基本嵌入的临界点,嵌入其自身。
同时在这两种大基数中间,实际上还存在有一种名为n阶集合论公式集定义下的莱茵哈特基数。
只不过,由于这一大基数的一致性强度远远不如超级莱茵哈特基数,所以暂且略过不提。
总之,超级莱因哈特基数的具体定义即是:
存在一个序数k,对于每一个序数a,若都存在一个基本嵌入j:V→V,使得j(k)>a,并且k是j的临界点,则可称k为超级莱因哈特基数。
同样的,若k是超级莱茵哈特基数,那么便会存在γ<k,使得(5γ,Vγ+1)是ZF?+莱茵哈特基数存在公理的模型。
其中的ZF?,便可理解为二阶ZF公理系统。
是的,ZF系统赫然有一阶二阶三阶四阶,乃至更多阶数之分。
总的来说,相对于莱茵哈特基数,超级莱茵哈特基数便是在它的基础上,增加了一个限定条件:
即,j(k)要大到符合期望。
若对这所谓的“期望”概念详尽展开来讲,就是对于所有的序数a,都要有j(k)>a。
而进一步展开继续阐述,超级莱因哈特基数的定义,便是涉及到了对于所有序数的超越性。
即对于任意给定的序数a,都能找到一个基本嵌入,使得k被映射到一个更大的序数上。
相比较而言,莱因哈特基数却仅要求存在一个基本嵌入j:V→V使得k是j的临界点,而不要求对所有序数a都有j(k)>a,可超级莱因哈特基数却是与之全然相反的。
所以后者的一致性强度,要远远……远远胜于前者。
可如此巨大的超级莱茵哈特基数,却依然要远远远远……远远弱于伯克利基数。
完全没有任何可比性。
因此,就需要向那更高层次的“数学世界”去寻找一致性强度更为巨大的大基数。
即,A-超级莱茵哈特基数。
其具体定义便是:对于一个合适的类A,若所有的序数λ都有一个非平凡初等嵌入j:V→V,crt(j)=k,j(k)>λ,并且j?(A)=j(A)(j?(A):=U(a∈ord)j(AnVa),那么这样的k,就可称为A-超级莱茵哈特基数。
总的来说,这种大基数就等若于莱茵哈特基数的进阶加强版——超级莱茵哈特基数的进阶加强版。
其是在更高层面上对于超级莱茵哈特基数的一种更大推广或者说延伸,因而两者之间的差距,巨大到简直无可形容。
可即便如此,即便庞大到如斯程度,A-超级莱茵哈特基数也依旧远远……远远弱于伯克利基数。
所以就要以它为踏脚石,纵身一跃无尽飞升,前往那更高层次去寻索更高阶更巨大的大基数。
即,完全莱茵哈特基数。
关于这种大基数的定义,若进行简化性的阐述便是:
若对于每一个A∈Vk+1,都有(Vk,Vk+1)是ZF?+A-超级莱茵哈特基数存在公理的模型,那么这样的k,就是完全莱茵哈特基数。
所以,完全莱茵哈特基数的强度,就可以超越伯克利基数了么?
遗憾的是,依然不能。
因为这两种大基数无法进行清晰比较。
或者更进一步的说,这两者之间的一致性强度差异是不能判定的。
根本无法知晓这两种大基数到底谁的强度会更高,只能大略认为二者在强度上可以划上一个稍显模糊的“=”号。
那么,能够真正在一致性强度层面上彻底超越伯克利基数的大基数,又到底会是什么呢?
凡人篇为求长生,图谋天下!我钟山,要建立无上天朝,收集天下气运,冲刷己身业障,至此迎抗天威,开天辟地,长生不死。一命二运三风水四积阴德五功名!为了长生。修功名者,建立天朝收集天下气运!修积阴德者,创立圣地积攒无量功德!修风水者,更是能够沟通阴阳两界,借天地之势!修运者,…!修命者,!-----------------------------仙人篇问天下,谁能长生不死~~~~~~~~~~!...
(非传统修仙文,想看传统修仙文的请绕路,不要在评论区打差评,谢谢)女主许桃意外穿进一本修仙小说里,成了青岚宗太上长老的独生爱女。除了有个牛逼到不行的亲爹,她的师父还是青岚宗最年轻的化神修士。这样的出...
冷血狂傲暴君x沙雕自救冷宫妃传言敌国摄政王宁亦残忍暴虐,那日他亲自带兵入侵大梁皇宫,阖宫上下一律斩杀,到处血流成河。秦晚在回老家的大巴车上吞了三片晕车药,一觉醒来竟然成了梁帝扔在冷宫三年的弃妃。整...
不好啦!!!你家舰娘又双叒叕走丢啦,不过这次姑娘们是带着满满怨气主动离开镇守府的。这是一个新故事,一个偏日常,偏欢乐,偏温馨的故事,一个关于舰R的故事,希望自己能写出不一样的舰娘,也希望大家喜欢。愿每一位提督心想事成,雪风会保护大家的(滑稽)。...
结婚三年的老公连她是谁都不知道。没想到两人第一次会面竟然在床上,一纸离婚协议,她欣然落笔,盛眠本以为他们的人生从此再无交集,却不想,这只是刚开始而已某日,帝都传言不近女色的傅氏总裁傅燕城看上一个新晋设计师。几次三番为她撑腰,帮她虐渣,还频频掐断她桃花。有好事者没忍住向另一位当事人求证请问你和傅先生到底是什么关系?盛眠微笑着除了雇主与打工人外,也就前夫和前妻吧。...
身为金融分析师的兰亭暄一直是同事眼中的模范社畜加班狂人,直到有一天,卫东言亲眼看见,她单手就把对她动粗的初恋男友反掼倒地。卫东言在兰亭暄眼里一直是高不可...