手机浏览器扫描二维码访问
事实上,虽然都是无意义源流。
可如今穆苍所处的「第二重世间」内的这一座源流,却是在整体强度层面上,远远超越了那「第一重世间」【终乂绝数】级……或可称莱因哈特基数级源流的更高阶源流。
而与这一座无意义源流驻立的未知等阶异数强度所对应的大基数,则赫然是……特殊-完全莱茵哈特基数。
若想要理解这一大基数,便要从超级莱因哈特基数讲起。
所谓超级莱因哈特基数,顾名思义便是莱因哈特基数的超级高阶加强版本。
所以其在本质上,亦属于一种非平凡基本嵌入的临界点,嵌入其自身。
同时在这两种大基数中间,实际上还存在有一种名为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关于带娃追妻妈咪求抱抱乡下回来的林悦晞,为了继承家产,被迫在咖啡厅捡来个服务员领证,本以为对方穷困潦倒需要救济,谁知道捡了个钻石王老五,有钱多金还英伦非凡!咖啡厅老板是他,知名法医是他,S市顶级企业老板还是他!林悦晞感觉自己被骗了,离婚!然而小萌宝抱着大腿喊妈咪,钻石王老五拽着自己求原谅,父子二人把她宠上天,林悦晞暗自偷笑,这是走了什么好运!简直不要太爽!...
陆早早凌慎行简介emspemsp(又名梦回千年倾城妻)(主角名陆早早凌慎行)一个骄纵跋扈缺根筋的大小姐被害死了,21世纪外科女神医陆早早穿越而来,她医术高超,心灵剔透,面对公婆不亲,丈夫不爱,还有各路虎视耽耽的姨太太,仅凭...
整个暮城都在传陆安然自打被顾少抛弃就变得自甘堕落人尽可夫,而且伺候的都是肥肚老头。男人说她是冷艳的野花。女人说她是虚伪的绿茶。可,实际上顾良辰第n次将人抵在墙角,陆医生,今晚需要侍寝吗?陆安然漫不经心,可是,他们都说我被你抛弃了。第二天,他当着全世界花样求婚。他们还说我自甘堕落人尽可夫。没几日,传播流言的倒霉蛋们公司全部破产倒闭。他们还说我喜欢肥肚老头。顾良辰抬手掀起衬衫,你老公的腹肌不香?他们还说我是野花绿茶。男人冷然一笑,将人扔到肩上扛走,爷最喜欢的就是花茶。陆安然,1v1,真甜。如果您喜欢甜妻入怀,顾少心尖宠,别忘记分享给朋友...
曾经备受好评的游戏率土更新了宝物系统,破坏了现有游戏的生态,引起了大批玩家不满。一场玩家与游戏公司的博弈就此展开。坚持抵制本次更新的游戏玩家胡力,在卸载游戏app的时候却意外回到了2年前,那个他刚刚接触率土的日子。如果您喜欢我是月卡党,别忘记分享给朋友...