在完全吞没了那未定者将领【自由回路】的一切所有,继而拥有了【深渊魔数】级别的怪诞异数力量后。
穆苍便倏然“脱下”未定者身份马甲,开始让自身本体,直面那股强度远远超越完全不可描述基数级的异数之力。
而在这种高阶异数力量的刺激下,【无绝秘策】亦毫无滞碍的瞬间启动。
嗡——
于是仅仅一刹那间,穆苍的根基、本体、玄髓……一切一切,就从完全不可描述基数级,霍然暴涨攀升到了更为恐怖恢宏的可测基数级。
轰轰轰——
霎时,茫茫失却狭渊当中那整支原先由【自由回路】统率的规模宏大无匹气势壮阔至极,由无穷无尽无限无界座怪诞疆域为兵卒汇聚构建而成的可测基数量级未定者大军,就蓦地定格下来,然后分崩离析彻底泯灭瓦解。
这,仅仅只是穆苍膨散开一丝力量而造成的结果而已。
只能说,如可测基数这般高阶大基数公理结构之庞巨伟岸,远远不是仅比完全不可描述基数高一级两级三四级那么简单。
若想要对其进行哪怕最简单的理解,都要历经一段极度繁复而漫长的路途。
像是不可描述基数,指的便是用nmn(或∑mn)公式的概念和模型论工具,而定义出的大基数。
如果将其详尽数学结构呈展开来,便是:若对任何仅含一个二阶自由变元x的nmn公式Φ(x),有a层结构〈Va,∈?Va,R〉满足Φ(R)时,即〈Va,∈?Va,R〉?Φ(R)成立时,就存在β
至于缠绕在此复杂数学结构间的反射原理,则是指全域中任何一阶公式都可用某一层Vβ中的相对化公式来进行代替。
另外关于所谓的不可描述性,亦可理解为在a层结构中可为“真”的公式,必可在a之前的某β层当中同样为“真”。
由此即可推出诸多结论或者说产生诸多结果,譬如……若k是强不可达基数,那么当且仅当k即是n10不可描述基数,以及当且仅当k是∑11不可描述基数,还有若k是弱紧致基数,那么当且仅当k是n11不可描述基数。
而凌驾于此之上的,即是强可展开基数。
在逻辑形式上,若基数k是λ不可展开的当且仅当对于ZFc的基数k的每个传递模型m负幂集,并使得k在m中且m包含其所有长度小于k的序列,那么将m中的元素按关系j非平凡基本嵌入到传递模型中,其中j的临界点即为k且j(k)≥λ。
若一个基数是可展开的,那么当且仅当它对于所有的序数λ就都是λ-不可折叠的。
同时,若一个基数k是强λ不可折叠的当且仅当对于每个ZFc负幂集的基数k的传递模型m使得k在m中并且m包含其所有长度小于k的序列,那么就存在一个m到传递模型“N”中的非平凡基本嵌入j,其中j的临界点即为k,而j(k)≥λ,且V(λ)即是N的子集。
最后,由于末尾的N包含了其所有长度为λ的序列,因而若一个基数是强可展开的,那么当且仅当它对于所有λ就都是强λ-不可展开的。
强可展开基数的这些性质,其实本质上就属于超紧致基数的较弱版本,与V=L一致,所以强展开的存在也意味着适当强迫公理较弱版本的一致性。
而矗立于这种大基数之上的,即是拉姆齐基数,此大基数及其定理,确立了w具有R基数推广到不可数情况的特定性质。
即,若令[k]
展开来讲,便是对于每个n,函数f在来自A的基数n的子集上都是常数,而若是A可以选择为k的平稳子集,那么基数k则不可称为R。
如果对于每个函数,基数k实际上都可称为Rf:[k]
略过那零零种种的复杂数学结构,所有强拉姆齐基数的上限,便赫然是可测基数。
这种大基数是不可数的k,且在k的幂集上存有在加性、非平凡、0-1值测度。
同时k是可测的,则又意味着其便是将宇宙V的非平凡基本嵌入到传递类m的临界点。
总之,可测基数就是一种拥有,或者说使用了模型理论当中超强构造的高阶大基数。
而在拥有了这般骇世力量后,穆苍也并未满足,反而立刻就披着【自由回路】的身份马甲,通过【绝罔巢域】给统辖【自由回路】及其麾下军团的更高阶大将发送了一条辱骂讯息:
“老畜生,丑陋如你,为何还在世间盘恒,还不快快自缢亡毙!”
然而“短信”发出去后,没过多久却仅有一条内容为“?!”的讯息,通过【绝罔巢域】发到了穆苍这里。
“咦?脾气那么好,难得啊。”
穆苍眸光一闪,旋即又编辑了一条内容远比刚才那条还要辛辣过分许多的讯息,动念发送了过去。
嗡——
果然,这条讯息终于引爆了对方那位未定者大将的情绪,让其对穆苍产生了一股汹涌恶意。
而在这股极度遥远之恶意的刺激下,【无绝秘策】亦瞬然启动,将穆苍之本尊,霎然就跨域传送到了某座规模与强度相当于woodin基数的庞大怪诞疆域中。(woodin基数可念为武丁基数)
当然,在未定者一族所拥有的异数体系中,那个可与武丁基数所具强度对性的异常之数,应该唤作……【玄罟黹数】。
至于那与实数集决定性、内模型理论以及集合论宇宙绝对性理论,都有着极深关联的所谓武丁基数,则可以认为其即是某个彻底超越种种不可达类性质基数的强极限点,在它之下再无其他强极限点。
同时,武丁基数的公理结构亦是类G?del型构造可证集合宇宙(L)的核心组件之一。
请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。
相邻推荐:豪门小少爷是偏执反派的白月光 斗罗之我千仞雪要做女帝 农场来了个绝色美人[七零] 女帝:陛下请自重,臣不想升官 名门暖婚 真不想变成绝色大美人[无限] 烟雨楼 隔壁大王 这锅我不背+番外 魔尊跟我相爱相杀 海怪联盟+番外 夏梦狂诗曲2 夏梦狂诗曲 请回答二零二零 剑斩诛天 逃荒种田:我靠医术发家致富 重生算什么 夏梦狂诗曲3大结局 逆凡之羽 求退人间界+番外