手机浏览器扫描二维码访问
事实上,虽然都是无意义源流。
可如今穆苍所处的「第二重世间」内的这一座源流,却是在整体强度层面上,远远超越了那「第一重世间」【终乂绝数】级……或可称莱因哈特基数级源流的更高阶源流。
而与这一座无意义源流驻立的未知等阶异数强度所对应的大基数,则赫然是……特殊-完全莱茵哈特基数。
若想要理解这一大基数,便要从超级莱因哈特基数讲起。
所谓超级莱因哈特基数,顾名思义便是莱因哈特基数的超级高阶加强版本。
所以其在本质上,亦属于一种非平凡基本嵌入的临界点,嵌入其自身。
同时在这两种大基数中间,实际上还存在有一种名为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关于江山策权谋世子妃平城裴世子容貌清隽如画,端的是端方雅致,公子无双,一身白衣如画谪仙。顾家第四女容貌华艳瑰丽,端的是温文尔雅,淑逸闲华,一身红衣如火炽烈。裴世子喜好温婉大方的美人,对顾家女...
苏沐有个大哥叫做苏扬,整天神神秘秘不着家。丢给了她一个软乎乎的崽子,然后失踪了。三个月后,苏沐被系统绑定,继承灵魂事务所。系统的前任宿主正是他大哥。你以为走上了人生巅峰,不,并没有。苏沐望着眼前破破烂烂的,仿佛风一吹就要散架的小木屋和大哥留下的一笔亿万欠债。去特喵的苏扬,你跑了,我咋办!苏沐不光要还打工还债,手里还有一个小崽子养,人生黑暗。1vs1,日常系穿越各个世界的甜文如果您喜欢快穿之还债攻略,别忘记分享给朋友...