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

超宇宙计划论文篇章 (9-2)

从集合论的极大值

  

宇宙的高度和宽度。此类陈述将被视为真实

  

集合论的陈述。

  

本论文有一个反面:为了使一阶陈述与V = L 被认为是正确的,在我看来,它必须很好地满足集合论实践和解决数学独立性的需要,并且它必须满足至少与所表达的集合论宇宙的极大性相容

  

1有关可导性概念的讨论,请参见最后的第 4.12 小节。

  

超宇宙计划

  

通过最优极大值准则。事实上,这种证据的强度在我看来,一个陈述的真实性是通过它满足这些条件的程度来衡量的三个要求。

  

该论文的一个重要后果是CH的失败。

因此我的一部分预测是CH将被视为错误。

  

请注意,在论文中我没有提到真正的一阶公理,而只是提到真正的一阶公理一阶语句。原因是以下附加主张。

  

超越一阶。对于提议的真实性永远不会达成共识与 V = L 相矛盾的一阶公理;相反,真正的一阶语句将仅作为真正的非一阶公理的结果而出现。

  

这种说法的一个原因是一阶语句不足以捕获集合论宇宙的极大性。

本文的计划如下。首先,我将回顾一些流行的一阶公理,它们很好地满足了集合论实践的需要,并论证了上面的丰富度预测。其次,我将讨论关于数学独立性的鲜为人知的知识,讨论强制公理作为证明数学独立性的证据的作用上面的基础预测。到目前为止,本文的主要目标是是第三部分,我在其中介绍了超宇宙计划,包括它的哲学基础和最新的数学发展。

 

2 集合论实践

  

集合论是一门新兴学科,充满了新思想和新发展,不断带来新的视角。当然,这些观点中的某些观点是站得住脚的从众多正在被证明的新结果中脱颖而出,值得关注其中一些揭示了确定特定新公理的困难“真实的人。

  

我强调需要找到与 V = L 相矛盾的公理的真实性的证据,但纯粹是从公理对于发展好的集合论,我将其称为第一类证据,这是不可能的。詹森的深入研究揭示了该公理的力量,揭示了 V = L 的力量,确实如此,当与小大基数结合时,似乎给我们提供了一个对于所有自然集合论陈述来说都是完整的理论!这是一项了不起的成就,很有说服力地支持基于第 1 类证据宣布 V = L 为真。

  

弗里德曼

  

对 V = L 的第 1 类自然反对意见是它没有考虑强迫,建立集合论新模型的基本方法。诚然,即使在L可以强制扩展可数模型,但强制扩展更为自然

  

完整的 L 而不仅仅是其中的一小部分。所以现在我们矛盾 V = L

  

支持“V 包含 L 的许多通用扩展”或类似的内容。

  

L 的大量强制扩展听起来不错,但是我们的规范是什么

  

现在宇宙?难道我们不应该有一个只在V 中为真的句子,而不是在其任何适当的内部模型中,同时具有许多通用的L的扩展?事实上,通过类强制这是可能的(参见[11])。所以现在我们有一个很好的 1 型公理:V 是一个规范宇宙,它是 L 上的类通用的,包含 L 的许多集合通用扩展。这是一个很好的上下文集合论,因为现在可以使用强制方法。

  

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

相关小说

倾靳 连载中
倾靳
倾靳
杂文
0.3万字9个月前
脑叶:穿越成为异常员工 连载中
脑叶:穿越成为异常员工
千封之乐
10.8万字8个月前
神迹:弱肉强食 连载中
神迹:弱肉强食
聆久醉
眼睁睁看着许多同伴被获取灵晶,更是看到自己母亲被杀获取灵晶的姬翎,决定幻化成世家小姐,为死去的同伴们报仇。而姬翎也把目标定在了景家二小姐身上......
10.5万字8个月前
冥嫁鬼妻之往生引 连载中
冥嫁鬼妻之往生引
魈鬼
(原创小说)千年女僵尸与废材小道士的禁断之恋,一次意外邂逅,两人的命运就被缠上了一根无形的锁链,相爱却不得相守,终葵的追杀,前世的阻挠,命运......
31.2万字8个月前
君竹兰卿 连载中
君竹兰卿
上官纤若
卿当如此般,无论兰竹,亦可谈佳人!(建议跳过上官)
10.6万字8个月前
小小脑洞大合集 连载中
小小脑洞大合集
柑橘味
一些小脑洞,希望能戳中你们的萌点。
4.6万字8个月前