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

特殊篇章(数学基数假设与证明文章) (2-1)

小于正确基数的莱因哈特

已知 κ 是超级莱因哈特基数,则 Vκ是 V 的初等子模型,但对于莱因哈特基数我们并不能得到这个结论,因为莱因哈特基数不是一阶可定义的,所以不一定会小于某个 Σn-正确基数,而本文则提供了一个证明思路以说明存在一个模型,在其中莱因哈特基数不是 Σ3-正确基数,甚至小于 Σ3-正确基数。

那么此处假设 κ 是莱因哈特基数则 Vκ是 V 的 Σ3-初等子模型:

让我们在 ZF+“存在x,存在y,x 是伯克利基数并且 y 是大于 x 的不可达基数”下证明

记 δ 是伯克利基数而 θ 是大于 δ 的最小不可达基数

根据伯克利基数的定义,可知对任意传递集 M⊆Vθ ,均存在非平凡初等嵌入j:M→M 并且 cr(j)<δ ,故 (Vθ,Vθ+1) 也是二阶 ZF+存在莱因哈特基数”的模型,记 κ 为这个莱因哈特基数

由于 Vθ 中不会存在 δ∈M 但却不存在

j:M→M 并且 cr(j)<δ 的 M 和 j ,所以 δ在 Vθ 中仍是伯克利基数。

故 Vθ 满足“存在x,x是伯克利基数”

但因为莱因哈特基数也是可扩基数,由于最小的伯克利基数下不存在可扩基数,所以 κ 仅是在 Vθ 中被认为是莱因哈特基数和可扩基数,在 V 中并不是

可由于 Vθ 满足“存在x,x是伯克利基数”,而这是一个 Σ3 命题,故 Vκ 也满足“存在x,x是伯克利基数”。

记 σ 为这个伯克利基数,显然 σ 在 V中也不被认为是伯克利基数

但既然 Vκ 认为 σ 是伯克利基数,考虑到 σ<κ 并且 κ 下存在无界多个不可达基数,就必然存在无界多个大于 σ 的不可达基数,记第二个大于 σ 的不可达基数为 ϑ

由于 Vϑ 中不会存在 σ∈M 但却不存在

j:M→M 并且 cr(j)<σ 的 M 和 j ,所以 σ在 Vϑ 中仍是伯克利基数。

故 Vϑ 满足 ZF+“存在x,存在y,x 是伯克利基数并且 y 是大于 x 的不可达基数”

而如果 Vθ 中存在 Σ3-正确基数 λ<κ ,而 Vλ 满足“存在x,x是伯克利基数”,记 σ 为这个伯克利基数,由于 κ 下存在无界多个不可达基数,Vθ 至少满足“存在两个大于 σ 的不可达基数”这一以 σ为参数的 Σ3-命题,故 Vλ 也满足。

记第二个大于 σ 的不可达基数为 ϑ ,则Vϑ 满足 ZF+“存在x,存在y,x 是伯克利基数并且 y 是大于 x 的不可达基数”。

伯克利基数怎么这么弱,Vθ 居然都不满足存在一个 Σ3-正确基数下存在无界个不可达基数

数学往往如此奇妙,虽然我不知道可扩基数的两个定义的等价是怎么证的

即对任意序数 λ ,均存在

j:Vκ+λ→Vj(κ)+λ

和对任意序数 λ ,均存在

j:Vκ+λ→Vj(κ)+λ 并且 λ<j(κ) 等价

但假设 ZF 是一致的和“怎么可能会不存在大于伯克利基数的不可达基数”的哲学信念下, ZF 肯定证不了这两命题等价。

世界基数

定义:一个基数 κ 是worldly cardinal,如果 Vκ⊨ZFC .

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

相关小说

啥呀这(黑脸 连载中
啥呀这(黑脸
小嘿帽
0.1万字9个月前
青丝阙:挽红颜似水 连载中
青丝阙:挽红颜似水
宋衿衿
前世作为不争不抢的天才,什么都会却久居深闺,最后却落得个香消玉殒的下场;一朝重生到儿时,顾辞鸢表示再也不做什么大家闺秀,要狠,狠到无人敢欺,......
1.9万字8个月前
绝望彼岸 连载中
绝望彼岸
绝生永迹
本文是类似魔法的小说,喜欢看的可以常来,不喜欢的,对不起,没有写到你想要的剧情。如果有人比我更早写这种类型,那请原谅我。这部小说一天一更或两......
1.1万字8个月前
桃花劫:美男如此多娇 连载中
桃花劫:美男如此多娇
李朵儿
(已签约/已完结)慕无霜,西昌国太皇女,上面有七个哥哥,还有八个爹爹,什么干爹干娘的还不算,个个宠的不像话。从小因为她母亲的渲染,慕无霜小小......
12.1万字8个月前
她稳拿恶毒女配剧本 连载中
她稳拿恶毒女配剧本
倾冷凝
【已签约】首发平台,侵权必究!上古邪神×上界太子“小角色才为情所困”
2.4万字8个月前
动漫人物日常 连载中
动漫人物日常
莹之悦
快来看看动漫人物的日常吧!动漫人物主要在是《斗龙战士》《激战奇轮》
1.8万字8个月前