630中文网

630中文网>超脱无道 墨尘 > 第321章 续写2(第1页)

第321章 续写2(第1页)

(跟上一章同样的理由)

伯克利基数:berkeley基数是zerlo-fraenkel集合论模型中的基数k,具有以下性质:

对于包含k和α<k的每个传递集,存在的非平凡初等嵌入,其中a<临界点<kberkeley基数是比rehardt基数严格更强的基数公理,这意味着它们与选择公理不兼容。作为伯克利基数的弱化是,对于vk上的每个二元关系r,都有(vk,r)的非平凡基本嵌入到自身中。

这意味着我们有基本的

j1,j2,j3

j1:(vk,∈)→(vk,∈),

j2:(vk,∈,j1)→(vk,∈,j1),

j3:(vk,∈,j1,j2)→(vk,∈,j1,j2)等等。

这可以持续任意有限次,并且在模型具有依赖性选择的范围内无限。

因此,似乎可以通过断言更多依赖性选择来简单地加强这一概念。对于每个序数入,存在一个zf+berkeley基数的传递模型,该模型在入序列下是封闭的,是不需要定义的类。

超级莱茵哈特基数:对于任一序数α,存在一j:v→vwithj(k)>α并具有临界点k,可以称为0=1是因为足够大的大基数公理会导致不一致性,从而使该系统下所有命题为真。

伯克利cb:基数k是伯克利基数,如果对于任何带k的传递集k∈和任何序数α<k,都会有一个初等嵌入j:<和critj<k,如果真的存在伯克利基数,那么就会有对力迫扩张绝对,它使最小的伯克利基数有共尾性w,通过对k的施加一定的条件,似乎可以增强berkeley性质,如果k是berkeley和α,α∈且有传递,那么对于任意α<k,都有一个j:<和α<critj<k和critj(a)=a,对于任意一个可传递的?k都存在j:?与critj<k,基数是berkeley,且仅当对于任何传递集?k存在j:?和α<critj<k,因此δ≥k,δ也是伯克利,最小的伯克利基数也被称为δ_α,称k为cb-伯克利,如果k是正则的,并且对于所有cb→c?k和所有带k的传递集∈;有j∈e()和crit(j)∈c,称k为liitcb伯克利,它是一个cb伯克利基数liit伯克利基数,如果k为最小的伯克利,则y<k。

冯·诺依曼宇宙v

v?=?

v_α+1=p(v_α)

若λ为极限序数,则v_λ=u_kλv_k,

请勿开启浏览器阅读模式,否则将导致章节内容缺失及无法阅读下一章。

相邻推荐:手握大刀崛起,仙路恐怖如斯  综武:我的神话造物书  领主:被后妈流放,我干烂全世界  予世安乐  穿越副本:吸血校园第43章后续  出门在外,有事就call老祖宗  赋清和  综影视:苏颜  走过硝烟  被推下楼后,我打败了娱乐圈一姐  穿越农女,辅助相公的计相之路  山野风情小傻医  潜渊症候群  穿书70年代,我为女主对照组  世界首富之桃运渔夫  霸道总裁情难自抑  系统不靠谱,宿主她只能自救  缅北活体解剖,特工浴血营救  恶魔契约:看清楚!我可是直男!  修仙:我有一个天道空间  

已完结热门小说推荐

最新标签

好书推荐:揉碎温柔为夫体弱多病和情敌在古代种田搞基建我有了首都户口暗恋指南星际双修指南我只是一朵云瑜伽老师花样多妈宝女她躺平爆红了你不能这么对我带着战略仓库回大唐背叛宗门,你们后悔什么?重生之护花痞少许你三世民国重生回到古代当夫子太子殿下躺平日常我的外甥是雍正公主 驸马 重生重生宠妻时光盗不走的爱人古穿今之甜妻混世小术士高手她带着全家翻身借一缕阳光路过爸爸偷了我的女朋友的东西后妈卷走40万失踪后续