手机浏览器扫描二维码访问
事实上,虽然都是无意义源流。
可如今穆苍所处的「第二重世间」内的这一座源流,却是在整体强度层面上,远远超越了那「第一重世间」【终乂绝数】级……或可称莱因哈特基数级源流的更高阶源流。
而与这一座无意义源流驻立的未知等阶异数强度所对应的大基数,则赫然是……特殊-完全莱茵哈特基数。
若想要理解这一大基数,便要从超级莱因哈特基数讲起。
所谓超级莱因哈特基数,顾名思义便是莱因哈特基数的超级高阶加强版本。
所以其在本质上,亦属于一种非平凡基本嵌入的临界点,嵌入其自身。
同时在这两种大基数中间,实际上还存在有一种名为n阶集合论公式集定义下的莱茵哈特基数。
只不过,由于这一大基数的一致性强度远远不如超级莱茵哈特基数,所以暂且略过不提。
总之,超级莱因哈特基数的具体定义即是:
存在一个序数κ,对于每一个序数α,若都存在一个基本嵌入j:V→V,使得j(κ)>α,并且κ是j的临界点,则可称κ为超级莱因哈特基数。
同样的,若κ是超级莱茵哈特基数,那么便会存在γ<κ,使得(Ⅴγ,Vγ+1)是ZF?+莱茵哈特基数存在公理的模型。
其中的ZF?,便可理解为二阶ZF公理系统。
是的,ZF系统赫然有一阶二阶三阶四阶,乃至更多阶数之分。
总的来说,相对于莱茵哈特基数,超级莱茵哈特基数便是在它的基础上,增加了一个限定条件:
即,j(κ)要大到符合期望。
若对这所谓的“期望”概念详尽展开来讲,就是对于所有的序数α,都要有j(κ)>α。
而进一步展开继续阐述,超级莱因哈特基数的定义,便是涉及到了对于所有序数的超越性。
即对于任意给定的序数α,都能找到一个基本嵌入,使得κ被映射到一个更大的序数上。
相比较而言,莱因哈特基数却仅要求存在一个基本嵌入j:V→V使得κ是j的临界点,而不要求对所有序数α都有j(κ)>α,可超级莱因哈特基数却是与之全然相反的。
所以后者的一致性强度,要远远……远远胜于前者。
可如此巨大的超级莱茵哈特基数,却依然要远远远远……远远弱于伯克利基数。
完全没有任何可比性。
因此,就需要向那更高层次的“数学世界”去寻找一致性强度更为巨大的大基数。
即,A-超级莱茵哈特基数。
其具体定义便是:对于一个合适的类A,若所有的序数λ都有一个非平凡初等嵌入j:V→V,crt(j)=κ,j(κ)>λ,并且j?(A)=j(A)(j?(A):=U(a∈Ord)j(A∩Vα),那么这样的κ,就可称为A-超级莱茵哈特基数。
总的来说,这种大基数就等若于莱茵哈特基数的进阶加强版——超级莱茵哈特基数的进阶加强版。
其是在更高层面上对于超级莱茵哈特基数的一种更大推广或者说延伸,因而两者之间的差距,巨大到简直无可形容。
可即便如此,即便庞大到如斯程度,A-超级莱茵哈特基数也依旧远远……远远弱于伯克利基数。
所以就要以它为踏脚石,纵身一跃无尽飞升,前往那更高层次去寻索更高阶更巨大的大基数。
即,完全莱茵哈特基数。
关于这种大基数的定义,若进行简化性的阐述便是:
若对于每一个A∈Vκ+1,都有(Vκ,Vκ+1)是ZF?+A-超级莱茵哈特基数存在公理的模型,那么这样的κ,就是完全莱茵哈特基数。
所以,完全莱茵哈特基数的强度,就可以超越伯克利基数了么?
遗憾的是,依然不能。
因为这两种大基数无法进行清晰比较。
或者更进一步的说,这两者之间的一致性强度差异是不能判定的。
根本无法知晓这两种大基数到底谁的强度会更高,只能大略认为二者在强度上可以划上一个稍显模糊的“=”号。
那么,能够真正在一致性强度层面上彻底超越伯克利基数的大基数,又到底会是什么呢?
答案是,特殊-完全莱茵哈特基数。
无人救我双A 长生从猎鲸开始 陆地键仙 心之怪盗!但柯南 征服之路 开局长生不死,谁都以为我无敌 灵宠创造模拟器 尸囊人 一不小心和醋精结婚了 杀死那个白月光 穿成恶婆婆后我成了全村顶梁柱 都市全能神医 想活命?进娱乐圈吧! 承欢记 圣手神医 病美人师尊洗白了吗[穿书] 甜蜜军婚:女企业家在八零赚翻了 流放后开始发家致富 惊!网恋对象竟是星际最强指挥官 权变
重来之暖婚简介emspemsp关于重来之暖婚新书宠婚为爱甜妻你好已发,求收藏,求推荐票!前世活了二十几年,到结婚才发现男人不是自己的,爸妈也不是自己的,她叶筱晓的的一切就像个笑话,天大的笑话。重来一次,她要踹掉那支出...
穿越到战国初年,身份卑微到连姓都没有,却敢有野心。为了支撑野心,拜墨子为师,混入墨家隐忍数年以篡巨子之位。墨子述而不作,他编纂墨经将墨经改的面目全非。诸侯争霸大争之世,他却偏偏相信宁有种乎。总之,这是个野心家的故事。如果您喜欢战国野心家,别忘记分享给朋友...
病弱大佬靠我走上人生巅峰简介emspemsp关于病弱大佬靠我走上人生巅峰生母被渣爹害死,外祖父被囚禁,谢青棠身负血海深仇,出山准备救人兼报仇。但是她没钱没势没地位,计划不能开展怎么办?谢青棠摸着下巴琢磨了一下,决定去找自己那个据说定了娃...
嘤嘤嘤,冥王你休想始乱终弃!江乘月抱着冥王的大腿啜泣道。路遥一脸黑线,他堂堂冥界之王,怎么能被传抛弃老婆?可是他要去处理公务啊!他的语气既宠溺又无奈要不我变个分身陪你?江乘月倔强地说我不!就要你本体!好好好于是,他搂着她一起去处理公务,闪瞎了冥府的一群单身狗。这剧本好像有点不对吧?怎么是娇妻主动追冥夫???某作者默默念叨着。江乘月呲牙咧嘴地说姐乐意!你开心就好。如果您喜欢娇妻凶猛冥王大人,你别跑,别忘记分享给朋友...
春风一度共缠情简介emspemsp春风一度共缠情是陆晓果的经典其他类型类作品,春风一度共缠情主要讲述了结婚登记的当天,景晓萌发现未婚夫竟然在和闺蜜滚床单,一怒之下陆晓果最新鼎力大作,年度必看其他类型。海棠屋(haitangshuwucom)提供春风一度共缠情最新章节全文免费阅读!。...
两个性格迥异同桌,插科打诨的校园日常。一个阳光开朗,犬系,运动型的痞子一个内冷外热,猫系,嘴欠型的闷子。歪歪腻腻,欢乐搞笑。...