小鲨鱼停止了思考提示您:看后求收藏(e品小说网www.kimberk.net),接着再看更方便。

(跟上一章同样的理由)

伯克利基数: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+
嗜情蛊【苗疆1V1】

嗜情蛊【苗疆1V1】

美人豹面
得知被从小青梅竹马的未婚夫戴了层厚厚的绿帽,白薇凝在给了他重重一巴掌后决定出门散心。私人飞机似乎也随着她的心情起起伏伏,带着她飞往一座散心的小岛上。挥手告别了冯叔,白薇凝拉起行李箱就向岛内走去。恰逢撞上岛上祭典活动,白薇凝兴奋地拉着箱子往人群中挤去。但身着现代服饰的她在人群中显得异常地显眼。虽岛上的人们用好奇的眼光打量着她,却也友好地对着她点着头,让她倍感亲切。此时,祭祀台上猛地火光四射,只见一个
玄幻 连载 5万字
鬼帝成神

鬼帝成神

梦的尾巴
前世他孤寂,重生他无敌。 本源丹田,靠吸收本源升级,注定他的修炼不走寻常路。 强强联合,在弱肉强食的世界以多制强。 为求生为升级,结伴闯荡诸神域。 家人是他前进的动力,伙伴是他无敌的助力,女人离开他只为不影响拔刀的速度。 本文非正常修仙,略带一点搞笑,略带一点脑洞……
玄幻 连载 37万字
全球洪荒:我在洪荒称尊做祖

全球洪荒:我在洪荒称尊做祖

北风过境
全球开启洪荒转生通道,转生什么种族,强大还是弱小,三次转生机会,全凭个人机缘造化! 穿越而来的江川发现,整个蓝星唯有他一人了解洪荒神话的未来走向。 第一世转生太古洪荒第一只春秋蝉,第二世转生顶级先天神魔。 洪荒天地称尊做祖,浩瀚宇宙镇压诸天万界! 给诸天万界来亿点洪荒震撼!
玄幻 连载 118万字
我竟穿成了凯文老祖:星穹铁道

我竟穿成了凯文老祖:星穹铁道

我是镜流老公
穿越到星铁世界,成为了身负救世之铭的凯文,让杨卧起坐ptsd:tmd凯文还在追我,还有个系统让他去拯救所有濒临崩溃的世界!还有海量奖励可以拿,咳咳!从此刻开始救世的火种将引燃整个宇宙! 救世星神凯文:“踏上前来,此即救世之铭。”
玄幻 连载 53万字