第321章(第3/5 页)

不可达基数k就是对任意小于k的基数，取幂集的基数仍然小于k并且由任意小于k个小于k的集组之并的基数仍然小于k。而对比弱不可达基数只要满足＜k的任意基数的后继仍然＜k就行。而具有以上相同性质的可数基数就是阿列夫零。

马洛基数：又称马赫罗基数，对于所有K，正则基数 β 的初始段（即 β 以下的所有基数）中都包含一个K基数。这里的K在这个基数以上所有的正则无限基数的并集中，删去所有小于K的基数后，剩余的基数集合是一个K的闭集。也就是一个马洛基数κ之下的不可达基数组成驻集，小于κ的所有正则基数集合是κ的驻子集，则κ为马洛基数，说明白点就是任意不可达基数k，其他不可达基数在这个k前面形成无界闭集取驻集族为{a {0,1} 都存在一个κ个元素的子集使f在这个集上的值相同。也是，最小不可达基数κ，需要满足cfκ=κ，a＜κ→2^a＜κ的基数，一个2-不可达基数κ是第κ个不可达基数，一个超不可达基数就是κ-不可达基数，每一个马洛基数κ之下的不可达基数组成驻集，小于κ的所有正则基数集合是κ的驻子集，则κ为马洛基数，说明白点就是任意不可达基数k，其他不可达基数在这个k前面形成无界闭集，则此k为马洛基数，第马洛基数个不可达基数一定是马洛基数。然后是2-马洛基数，下面的马洛基数形成驻集，超马洛基数，κ是κ-马洛基数。

不可描述基数：基数K称为∏n不可描述基数如果对于每个∏m命题(φ，并且设置A?∨κ与(Vκ+n,∈，A)╞φ存在一个α＜κ与(V α+n，∈,A ∩Vα)╞φ。这里看一下具有m-1个量词交替的公式，最外层的量词是通用的。∏n不可描述基数以类似的方式定义。这个想法是，即使具有额外的一元谓词符号（对于A）的优势，也无法通过具有m-1次量词交替的n+1 阶逻辑的任何公式将κ与较小的基数区分开来（从下面看）。这意味着它很大，因为这意味着必须有许多具有相似属性的较小基数。如果基数κ是∏nm，则称它是完全不可描述的——对于所有正整数m和n都难以描述。也是，这里不可描述基数是指一类大基数，指用∏nm或者是∑nm公式的概念和模型论工具所定义的基数，若对任何仅含一个二阶自由变元X的∏nm公式或∑nm公式Φ(X)，当有α层结构〈Vα，∈?Vα，R〉满足Φ(R)时，即〈Vα，∈?Vα，R〉?Φ(R)成立时，存在β＜α，使β层子结构也满足Φ(R)，即〈Vβ，∈

本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！