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

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://www.bjxsw.cc),接着再看更方便。

相关小说

默祈 连载中
默祈
古灵精怪爱丽丝
父母被怪物害死的小默羽拼了命逃到教堂保住了性命,成为了看守神明法宝的一位小咯咯。但有一天,宝物意外失踪了,而所有的一切罪责和嫌疑都纷纷指向了......
2.8万字5个月前
墨缘聚 连载中
墨缘聚
姜丝揉丹
“死亡见证你我的相遇相知,是终结还是开始”
0.2万字3个月前
完美征途 连载中
完美征途
文澜_winlan
穿越到1732年的平行宇宙,我发现自己重生为一个婴儿,经历了一场惊心动魄的出生过程。随着年龄的增长,我逐渐意识到这个时代并不平静。我参与了一......
4.9万字3个月前
论千百次回溯 连载中
论千百次回溯
硬币占卜法
(写的特烂)白琦和队友一路打灵异,最后却团灭,上天给白琦一次机会,让白琦在回溯中救他们,但白琦一次又一次失败,而这一次的回溯又会有什么不同?......
1.1万字2个月前
量子回响 连载中
量子回响
小十与小雨
1.8万字2个月前
长相思之入颖相思改篇版 连载中
长相思之入颖相思改篇版
雪雨森林
长相思改篇,若有不喜欢的大大们可以不看,请大大们不喜勿喷。
0.7万字2个月前