数学联邦政治世界观
超小超大

C(n)基数(一) (15-3)

因此,如果κ是可测的,那么对于每个n,总是可以找到一个初等嵌入j : V → M,M传递,其中j(κ)∈C(n)。

因此,我们展示了以下内容。

命题1.1每个可测基数都是C(n)-可测的,对于所有n。

在强基数的情况下也会出现类似的情况。

假设基数κ是c(n)-强的,如果对于每个λ》κ,κ是λ-c(n)-强的,也就是说,存在一个初等嵌入j : V → M,m传递,具有临界点κ,并且使得j(κ)》λ,Vλ ⊆ M,j(κ)∈c(n)。

等效地(参见【5】,26.7),κ是λ-c(n)-强的当且仅当存在一个(κ,β)-扩张子e,对于某些β》| vλ|,其中Vλ ⊆ ME和λ《je(κ)∈c(n)。

现在假设j : V → M证明了κ的λ-强性,其中j(κ)在C(n)中不是必要的。

设E是从j得到的(κ,j(κ))-扩张子,设jE : V → ME是相应的λ-强嵌入(见【5]).那么在ME中,E◪:= jE(E)是一个(jE(κ),jE(j(κ)))-扩张子,它产生一个具有临界点jE(κ)的初等嵌入jE◪:ME→ME◪。

还是在我,让你成为由jE♀导出的jE(κ)上的标准jE(κ)-完全超滤子,即,u = { x⊆je(κ):je(κ)∈je♀(x)}设jU : ME → M是对应的初等嵌入。

那么可以迭代jU α次,对于一些大于2je(κ)的α∈C(n),使得如果jα : ME → Mα是所得的初等嵌入,那么jα(jE(κ))=α。

设k:= jα♀jE,则k : V → Mα是具有临界点κ且k(κ)∈C(n)的λ-强初等嵌入。我们由此证明了以下几点。

命题1.2对于所有n,每个λ-强基数都是λ-C(n)-强基数。

因此,对于每个n,每个强基数都是C(n)-强基数。

因此,对于可测或强基数κ,对于相应的初等嵌入j V M,j(κ)属于C(n)的要求不会产生更强的大基数概念。

但是,正如我们接下来将看到的那样,在超强嵌入的情况下,情况完全改变了,也就是说,当j使得Vj(κ)M时。

在接下来的部分中,我们将在通常的大型基数层次结构的各个级别上分析C(n)-基数的概念,从超强基数开始,直到秩到秩的嵌入。

在几乎所有的情况下,我们将证明相应的C(n)-基数形成一个更细的层次。

C(n )-基数的概念将被证明在超紧基数和vopenka原理(VP)之间的区域特别有用。

在那里,我们将在C(n)可扩基数的存在性、VP的限制形式和结构类的自然反射原理之间建立新的等价关系。

C(n)-基数等级的一些重要区域尚未被探索,例如C(n)-Woodin基数;

一些需要进一步研究,例如C(n)-超紧基数;

还有许多悬而未决的问题,例如,C(n)-超紧基数是否形成一个层次,或者C(n)-超紧基数和C(n)-可扩基数之间的确切关系。

这方面的进一步工作已经在进行中。

让我们指出,本文所考虑的所有C(n)基数(上一节中的基数除外)的存在性的一致性是由一个E0基数(即一个基数κ)的存在性的一致性得出的,对于这个基数存在一个非平凡的初等嵌入j Vδ Vδ,some δ,其中κCr I t(j)。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

快穿之男配你别搞事情 连载中
快穿之男配你别搞事情
朵齐齐
大家都知道,每本小说都有一个深情男配爱而不得,孤独终老。染七七作为一个快穿任务者,当然男配爱不爱什么的和她没有一毛钱关系,她的任务就是保护男......
17.6万字4周前
冥核决战 连载中
冥核决战
封洛克夜
“一切的冒险都是一个忠告而已..不要调查这个世界真正的真相...对我而言这个世界很残酷但只包括我吧…你们总有一天会抵达真正的终点...而我也......
1.1万字4周前
假如哈利被伏地魔收养 连载中
假如哈利被伏地魔收养
153***624_2482215372
HP同人文伏地魔重生了,这一世他决定不再对付哈利,他要收养他并教导他!在伏地魔的教导下,哈利又会变成什么样呢?如果哈利得知是他所谓的父亲杀了......
1.3万字4周前
修仙女配只想苟到结局 连载中
修仙女配只想苟到结局
北杏子
在苏若的问题上,萧禹晟从来没有过选择。自从五岁时苏若在禁闭室里给他带来那块红枣酥后,他早就对这个冤家输了个一文不剩了。这就是本憨憨女主和憨憨......
10.0万字4周前
女主的悠闲生活 连载中
女主的悠闲生活
临江音
白溪:“又是个新世界呢,要不…做个咸鱼?”兰悠悠:“白溪!你在干了什么?!等等,这个不行!等一下,住手!”熙魏“师傅!这是我的女票啊ヽ(ˋД......
5.5万字4周前
月情知否之叱咤风云 连载中
月情知否之叱咤风云
夜未央云岚
有玄幻元素也有爱情元素
6.2万字4周前