小鲨鱼停止了思考提示您:看后求收藏(蛋疼小说网www.utmsc.org),接着再看更方便。

(跟上一章同样的理由)

伯克利基数:Berkeley 基数是Zermelo-Fraenkel集合论模型中的基数K,具有以下性质:

对于包含k和α<k的每个传递集M,存在M的非平凡初等嵌入,其中a<临界点<K.Berkeley基数是比Reinhardt基数严格更强的基数公理,这意味着它们与选择公理不兼容。作为伯克利基数的弱化是,对于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→V with j(K)>α并具有临界点K,可以称为0=1是因为足够大的大基数公理会导致不一致性,从而使该系统下所有命题为真。

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

更多内容加载中...请稍候...

本站只支持手机浏览器访问,若您看到此段落,代表章节内容加载失败,请关闭浏览器的阅读模式、畅读模式、小说模式,以及关闭广告屏蔽功能,或复制网址到其他浏览器阅读!

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

玄幻小说推荐阅读 More+
穿越之从空我腰带开始

穿越之从空我腰带开始

默辰空我
老套路,得到系统,穿越到超神世界千年前,然后穿越其他世界提升实力。 后来在某个世界受重创,回超神世界养伤(伪装)千年,正式开启超神剧情。
玄幻 连载 64万字
狂仙,从提炼万物修为开始!

狂仙,从提炼万物修为开始!

庸俗
…… 魂穿成小门派的老祖,叶苍的修为却只有练气三层! 又恰逢敌对门派老祖来攻,危急之刻! 听到这个声音,叶苍激动了: “我的统,你终于来了!!”
玄幻 连载 66万字
混迹字母圈的摄影师傅

混迹字母圈的摄影师傅

糖酥映画
「一切残暴的欢愉,都将以残暴作为终结。」——威廉·莎士比亚。据说,变 得喜欢回忆过去是人老去的重要信号。自从和圈内的人们断绝了关系,甚至连相 机都很少拿起来了。随着长大,逐渐明白人们并不能互相理解,所以下面的文字 仅是用来记录过去十几年的经历,80 的内容完全纪实,20 的按照作者内心的 希望进行了改编,涉及人物的姓名、年龄、所在地均经过有意修改。
玄幻 连载 0万字
冷体馀温

冷体馀温

饲之猫
机械鎧流窜的世界 你的身体不是你原本的身体 献给你本区最不一样的机械物语! 械化,是科技带来的便利,也是其带来的恶梦。 禁令颁布后,械师们发疯、武者们逃窜,械化成为通缉般的烙印。
玄幻 连载 13万字
变身后,我成了所有火影迷的老婆

变身后,我成了所有火影迷的老婆

贰月十二
意外穿越火影世界,还变成了一个白毛红瞳的萌妹子,凤凰寺千羽本以为这辈子就这样了。 可没想到,她觉醒了印象值系统,只要给人留下印象,让人记住,就能够获得印象值,开启加点大法。 唯一的问题是,她所谓的印象值竟然不是通过剧情人物获取,而是靠一个火影直播间里的蓝星观众。 没等千羽喊着羁绊啊友情啊未来啊来吸引视线。 那显眼的白毛红瞳就吸引住了所有人的目光,老婆的称号瞬间焊在脸上。 而对此,千羽一开始是拒绝的
玄幻 连载 41万字
别让玉鼎再收徒了

别让玉鼎再收徒了

菠罗小吹雪
天庭乱不乱,玉鼎说了算! 这是一个穿越上古洪荒成为阐教十二金仙之一玉鼎真人后的故事。 天帝:想让我当天帝就别让这货再收徒了。
玄幻 连载 184万字