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

Kunen 不一致性定理

Kunen 不一致性定理是由Kenneth Kunen于1971年证明,其主要内容包括以下几个方面:

1:指出在 ZFC(Zermelo-Fraenkel 集合论加上选择公理Axiom of Choice,AC)下不存在从集合全域V到其自身的非平凡初等嵌入(利用相似法,考虑把V的前节嵌入更大的前节上面,由此得出可扩基数):

不存在这样一个非平凡的映射,能将整个集合论宇宙 映射到它自身且保持所有集合论语言中的一阶逻辑公式的真值不变

也就是说,不存在一个能在集合论基本结构上保持所有一阶性质的、非恒等的从 到 的映射

这否定了某些大基数公理所假设的这种特殊映射的存在性,比如莱茵哈特基数所依赖的这种非平凡初等嵌入

2: 关于嵌入映射的相关结论:

如果j是从集合全域V到一个内模型M的初等嵌入,且λ是j的临界点κ之上的最小不动点,那么M不包含集合j”^λ(即j限制在λ上的像)

3.对大基数的限制:

不存在ω-巨大基数;

不存在从V_λ+2到其自身的非平凡初等嵌入(V_λ+2是集合论的一种分层结构中的特定层级)

Kunen 在证明中使用了Morse-Kelley集合论,如果将证明改写为使用ZFC,则必须添加一个假设,即替换公理对涉及到的相关公式成立,否则无法证明一些关键集合的存在性

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

相关小说

忆回…… 连载中
忆回……
幕芜
小故事
0.2万字9个月前
魔神少年集 连载中
魔神少年集
闻岭浮
《魔神少年集》:主角携手异能伙伴,勇闯怪物世界,守护人间安宁。—————————若有雷同,算你抄袭全员无原型,不要代入三次元的每一个人学生党......
2.7万字9个月前
儿童画册 连载中
儿童画册
鱼长舒
嗨~欢迎观看某渣的儿童画册。主要记录日常琐事以及某渣的手绘作品,无画技,开心就好~如有大佬望多加以指点。不喜勿喷,感谢观看~(。・ω・。)ノ......
0.4万字9个月前
重生之请替我好好爱他 连载中
重生之请替我好好爱他
北北诗
【已签约】正文已经完结啦,开启全新篇章,宝贝子们可以从第六十八章开始阅读。“沈鹤,我还爱你啊。”临别之际,她心灰意冷,一直以为姜家倒塌是那个......
16.7万字9个月前
水清灵 连载中
水清灵
夜无倾
天地开创之初,以鸟族仙鹤族为天地之主,以五行盛世于六界,以五行灵金木水火土为普灵,以光,月,海,天,地,风,雾,等属性为自然分配灵为自然灵,......
12.4万字9个月前
有只不听话的小狐狸 连载中
有只不听话的小狐狸
汐莓糖果
【北陌文社】狐族有只全能的小狐狸,会修炼,会诱惑,会撒娇,会打架,会惹事,会……云枫澜做的最多的事,就是跟着云思曦身后为他处理烂摊子。本以为......
6.7万字9个月前