小鲨鱼停止了思考提示您:看后求收藏(星空小说网www.la-ciruelo.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+
精灵训练家的我,培养出巨龙

精灵训练家的我,培养出巨龙

孤独的走
世界变了,变得陌生又熟悉,所以我到底算是重生还是穿越,广阔而陌生的精灵世界,让陈申感到迷茫,还好经历的四次过手的系统,让他隐隐安心。决定了,要稳稳的苟着。“恭喜你!已加入次元帮扶聊天群。”ε=(′ο`*)))唉!怎么又来了个聊天群啊! (前期苟着发育,系统也是没有太多存在感,聊天群没有那么快出现。书里的人名,地名皆是虚构,如有雷同,不胜荣幸)
玄幻 连载 62万字
陷于中网

陷于中网

咦,地狱这么亮么?哦,我重生了…嗯,一定要护他活下去!重生之后,她的想法很简单——护到竹马能够保护自己。末世之后,她杀杀怪,闯闯境,收收人,不知不觉拉了一个队。目的到达后,潇洒脱身时,这才发现自己已陷入他们织的网中,再也挣脱不开了。
玄幻 连载 2万字
九域剑帝

九域剑帝

邵羽
【绝对爽文】【无敌玄幻】 九域剑帝,传奇归来,踏平一切。 天才妖孽,踩在脚下,强者大能,挥手灭杀。 人不犯我,我不犯人,人若犯我,灭他九族。
玄幻 连载 0万字
六零省城家庭娇宠独生女[年代]

六零省城家庭娇宠独生女[年代]

枝问雁
晋s:大长篇,从女主出生写起,防盗40~内容标签:穿越时空青梅竹马爽文年代文主角:程荔月裴立戎┃配角:预收《五零职工家庭独生女》┃其它:完结文《七零年代独生女》一句话简介:青梅竹马成长日常!立意:勤劳致强推:程荔月一朝穿越到六零年代,还正处那三年困难时期,出生就是个病秧子,看着就活不下去了。幸好,她还有一个金手指,是一个装满各种物资的空间。父母还是省城里端着铁饭碗的职工,而她作为好不容易才得来的独
玄幻 连载 121万字
穿成病弱反派后

穿成病弱反派后

木漏日
玄幻 连载 49万字