第693章 连升三级,又见碎片〔数理内容较多,慎入〕(第1/3页)
在完全吞没了那未定者将领自由回路的一切所有,继而拥有了深渊魔数级别的怪诞异数力量后。
穆苍便倏然“脱下”未定者身份马甲,开始让自身本体,直面那股强度远远超越完全不可描述基数级的异数之力。
而在这种高阶异数力量的刺激下,无绝秘策亦毫无滞碍的瞬间启动。
嗡
于是仅仅一刹那间,穆苍的根基、本体、玄髓一切一切,就从完全不可描述基数级,霍然暴涨攀升到了更为恐怖恢宏的可测基数级。
轰轰轰
霎时,茫茫失却狭渊当中那整支原先由自由回路统率的规模宏大无匹气势壮阔至极,由无穷无尽无限无界座怪诞疆域为兵卒汇聚构建而成的可测基数量级未定者大军,就蓦地定格下来,然后分崩离析彻底泯灭瓦解。
这,仅仅只是穆苍膨散开一丝力量而造成的结果而已。
只能说,如可测基数这般高阶大基数公理结构之庞巨伟岸,远远不是仅比完全不可描述基数高一级两级三四级那么简单。
若想要对其进行哪怕最简单的理解,都要历经一段极度繁复而漫长的路途。
像是不可描述基数,指的便是用nn或n公式的概念和模型论工具,而定义出的大基数。
如果将其详尽数学结构呈展开来,便是若对任何仅含一个二阶自由变元x的nn公式Φx,有层结构〈v,v,r〉满足Φr时,即〈v,v,r〉Φr成立时,就存在βt,并使β层子结构也满足Φr,即〈vβ,vβ,rnvβ〉Φrnvβ,那么就可称基数为nn不可描述基数。
至于缠绕在此复杂数学结构间的反射原理,则是指全域中任何一阶公式都可用某一层vβ中的相对化公式来进行代替。
另外关于所谓的不可描述性,亦可理解为在层结构中可为“真”的公式,必可在之前的某β层当中同样为“真”。
由此即可推出诸多结论或者说产生诸多结果,譬如若k是强不可达基数,那么当且仅当k即是n10不可描述基数,以及当且仅当k是11不可描述基数,还有若k是弱紧致基数,那么当且仅当k是n11不可描述基数。
而凌驾于此之上的,即是强可展开基数。
在逻辑形式上,若基数k是不可展开的当且仅当对于zfc的基数k的每个传递模型负幂集,并使得k在中且包含其所有长度小于k的序列,那么将中的元素按关系j非平凡基本嵌入到传递模型中,其中j的临界点即为k且jk。
若一个基数是可展开的,那么当且仅当它对于所有的序数就都是不可折叠的。
同时,若一个基数k是强不可折叠的当且仅当对于每个zfc负幂集的基数k的传递模型使得k在中并且包含其所有长度小于k的序列,那么就存在一个到传递模型“n”中的非平凡基本嵌入j,其中j的临界点即为k,而jk,且v即是n的子集。
最后,由于末尾的n包含了其所有长度为的序列,因而若一个基数是强可展开的,那么当且仅当它对于所有就都是强不可展开的。
强可展开基数的这些性质,其实本质上就属于超紧致基数的较弱版本,与v一致,所以强展开的存在也意味着适当强迫公理较弱版本的一致性。
而矗立于这种大基数之上的,即是拉姆齐基数,此大基数及其定理,确立了具有r基数推广到不可数情况的特定性质。
即,若令k表示k的所
(本章未完,请翻页)