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

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),接着再看更方便。

相关小说

异世中原 连载中
异世中原
上官青鹤
异世界日记
0.2万字5个月前
秋桂花风 连载中
秋桂花风
蛙小呱
我oc小说,因为画技和屎一样,所以来写小说了
0.5万字5个月前
为苍生为民国 连载中
为苍生为民国
林允_
听闻民国爱情十有九悲郝家小姐郝敏留洋归来结识谢家少爷谢景淮为了共同的革命事业而奋斗留洋归来小姐×世族少爷“为苍生永不悔”“世淮,已然释怀”
0.1万字3个月前
本文番外 连载中
本文番外
月醉星河
作品为原创.禁止抄袭.不喜勿喷.作者:幻薇梦;幻洢梦;月醉星河;幻瑰梦;幻蝶梦;幻玫梦;洢佳;喜欢蓝天白云的L;柳柳薇;蔷薇的温柔以上都是作......
110.2万字3个月前
复仇之途 连载中
复仇之途
有亿点物质
器宗被灭,百里辰竹四人找到苏浅陌寻求庇护
4.5万字2个月前
巫女日記 连载中
巫女日記
Sumphote
架空世界,主角安以琪·苏·图兰,一半萨摩一半库兰,讲述其上大学后发生的一系列事情,不断成长,渐渐明白自己意欲何为,想要坚持父母那个梦想——建......
9.0万字1个月前