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

终极L(第二版本) (3-3)

如果HOD猜想成立,则HOD包含了一个弱扩张子模型,而这样的模型可容纳所有已知的大基数,因此是某种意义上的“终极L”模型。

武丁还提出了这样一种设想,即,在不知道如何构造“终极L”的情况下,我们仍可以叙述公理:“V=终极L”

V=终极L公理 公理“V=终极L”包括以下命题:

(1)存在武丁基数的真类W

(2)对任意∑3-语句,若φ在V中成立,则存在一个通用贝尔集A⊆R,使得

HODᴸ⁽ᴬʼᴿ⁾∩V_ΘL(A,R)⊨φ

终极L猜想假设是可扩张基数,则存在模型N满足:

(1)N是Κ是超紧基数的弱扩张子模型;

(2) N ⊆ HOD:

(3)N⊨“V=终极L”

定理3.11假设终极L猜想成立,

成立;

2.V=HOD:

3.猜想成立。

这样,我们可以合理地认为,如果终极L猜想成立,那它一定会在两个方向上为数学中的柏拉图主义辩护。

首先,它证明猜想成立,而根据第二节的分析,这从根本上拒绝了多宇宙的真理观。

因为,在Ω猜想成立的情况下,脱殊多宇宙真就可归结为H(δ₀⁺)中的真,这本质上与形式主义将真归结为在ZFC中可证是一样的。

正如我们已经指出的,这种对真理的看法无法说明这样的问题:为何一些独立性命题是无意义的而另一些不是?

其次,如果终极L存在,那ZFC的众多模型中就有一个非常特殊的。

它不仅可以容纳所有已知的大基数,而且具有很好的结构性质从而解决所有的自然的独立性问题。

同时,在“终极L中为真”对于集合力迫又是免疫的,从而不能用通常的力迫证明其独立性。

终极L的这种特殊性自然需要哲学上的解释。

武丁多次强调,这种特殊性源自它十分接近V,那个真实的集合论宇宙。

除了这种柏拉图主义的解释,我们暂时看不到任何其他的哲学立场能够做到这一点。

但伯克利基数的存在完全能让V≠终极L(莱茵哈特基数也行,但终极L否定了它),而终极L“容纳所有大基数”是对超紧基数弱扩张子模N的H(k+)→H(j(k)+)嵌入封闭性的过度简化,它的的实质是,任意在V中成立的Σ2性质都会被某个内模型见证,然后这个内模型是终极内模型的子类

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

相关小说

穿书炮灰女配要修仙 连载中
穿书炮灰女配要修仙
风亿星辰
当余笙穿越成修仙文的女配且看她如何一路逆袭余笙穿书了,穿成了一个活不过一章的炮灰女配,唯一的作用就是用来衬托女主的机智果敢,emmm……而她......
215.8万字8个月前
惊悚副本求生攻略 连载中
惊悚副本求生攻略
木烬乐
简介看第1章
0.2万字8个月前
刺客伍六七之忆失还情 连载中
刺客伍六七之忆失还情
血卿酒颜辞
回忆?凭什么我不能拥有?首领?迟早要了你的人头!暗影刺客?昔日往友还会帮我吗……白……曾经害我,我怎可能放过,我会让你血债血偿!梅小姐,若不......
1.8万字8个月前
笑死,根本逃不出他的掌心 连载中
笑死,根本逃不出他的掌心
可怜的猫咪
[请勿抄袭]一个被称为“大佬级别的摆烂达人”苏诺,在去学校上学的路上好死不死的被“不知明的东西”给砸晕死了过去。醒来时已经在人生地不熟的地方......
5.8万字8个月前
舞桐堕落,雨浩挽回 连载中
舞桐堕落,雨浩挽回
橙子渣女.
简介正在更新
1.0万字8个月前
换你受我照顾 连载中
换你受我照顾
清水卿
人生是梦境,一道解不开的迷,何时才算梦醒,现实它醍醐灌顶。“莫清客,好好活着吧。”“这条命给你了。”“一定要赢,最后的信念。”“师尊……带着......
8.9万字8个月前