第四章数学阶层复宇宙数学序列

复宇宙：

复宇宙指的是，以一个模型/宇宙为地基模型，也就是说，这个复宇宙当中的所有宇宙的交集都是它。在它的基础上，存在着无数个大于它的宇宙。复宇宙有点类似于我们今天所说的多元宇宙，或者说平行宇宙。在平行宇宙中，存在着无数个单独的宇宙，每个单独的宇宙可能都发生着不同的事，复宇宙当中每个不同的单独的宇宙就有些类似于这个。并且，因为复宇宙包含这个复宇宙中的地基模型的所有扩张，所以它对这个地基模型是封闭的，也就是说，这个地基模型无论进行怎样的变化，都无法超越这个复宇宙。

脱殊复宇宙:

脱殊复宇宙就是以V为地基模型构造出来的复宇宙。脱殊复宇宙拥有所有V的力迫扩张和V这个地基模型本身，且它对V是封闭的。

二阶复宇宙:

复宇宙本身就类似于一个公式，把不同的地基模型套进这个公式中，就会产生不同的复宇宙。按照某一种拓展方式，所有复宇宙的集合就是二阶复宇宙，或者称为“复复宇宙”。同样地，也可以构造出复复复宇宙，复复复复……宇宙……不断地扩充，增大。

v-logic(逻辑多元):

V-逻辑多元可以用来追求两个基础-TAL研究方向，这两个方向都理想地旨在开发公理化理论的多元宇宙。一是定义ZFC不同扩展的V-逻辑多元宇宙，考虑了AD、PD、大基数、V=L等公理，研究了这些V-逻辑多元宇宙之间的关系第二个方向在于用不同的结构来近似V，例如L，类L模型，V，其中Vk是一些大基数，并调查，例如，对应的v-逻辑多元宇宙的成员是否相互兼容，以及在何种程度上兼容。与泛型多元不同，V-逻辑足够广泛，可以包含各种外部。与超宇宙的概念相反，V-逻辑不能化简为可数传递模型的集合，因为V不需要被认为是可数的。

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