在最近几年里,没有一个“设置或测试多个版本”的案例进步保持了对集合基础的预测学说这一理论的多个方面都有不同的选择到目前为止,所有这些都有优点和缺点。
哈姆金斯广义多元宇宙(4),包括集合理论的所有模型公理,在哲学上是稳健的,但在数学上没有吸引力,asit可能达不到理论的精神基础要求。
Steel集合一般多元宇宙(5)由所有布尔值组成公理ZFCLargeCardals,在数学上是唯一有吸引力的模型,拓展扩张。
特别是,它无法捕获所有可能的外部模型,专注于这些集合的泛型扩展。
最后,SyFriedan的超普遍概念(2),尽管在数学上是普遍的和普遍的数据属性,具有在Vis上学习的显著优势可数的文中介绍了集合论的新概念也就是“V逻辑多元宇宙”,它扩展到数学根据Hyperunuverse计划(1,3)进行的工作这些通用多元宇宙的绘图功能,特别是在Steel的Pro上它的posedaxioatisation。
V逻辑是无限逻辑无穷长),其长度为Lκ,ω,不需要符号在一阶逻辑中,由κanynstantsa,oneforeachseta∈V组成,和一个特殊的符号V,表示V。
在V逻辑理论中,one对于某个集合,保证ZFCψ的一致性理论陈述ψ,由记忆M表示,如果是米桑的话outerodelofV。
Byouterodelweanhere:型号通过集合强制,类强制,超类强制和,一般,任何模型理论能够产生V的宽度扩展的技术。
因此,通过选择在适当的一致性陈述中,我们可以生成计算机模型M,en带有特定功能。
V逻辑多重覆盖选择属于V。
以下观察结果有助于说明该方法的充分性生产多个产品,在我们看来,前景更好除此之外:
1与集合一般多元宇宙相反,V逻辑多元宇宙负载足够包括所有类型的外部模型。
2与超普遍性观念相反,V逻辑多元性不会像V那样减少可计数传递模型的集合,不需要采取不可计数的措施。
除此之外,还可以使用V逻辑多值来获得两个基本值人才研究方向,两者都是以发展为目标多元宇宙的公理理论。
我们考虑定义V逻辑多个不同的扩展ZFC,通过考虑AD、PD、大基数等公理,V陆地上的其他人,并调查所有陆地上的关系这样的V逻辑多元宇宙。
第二个方向被认为会使V变得更差元素结构,如L,L样模型,Vκ,其中κ是一个较大的基数,并调查,例如,是否有相应的成员V逻辑多个版本可以相互兼容,并且可以扩展到什么程度。