复宇宙:
复宇宙指的是,以一个模型/宇宙为地基模型,也就是说,这个复宇宙当中的所有宇宙的交集都是它。在它的基础上,存在着无数个大于它的宇宙。复宇宙有点类似于我们今天所说的多元宇宙,或者说平行宇宙。在平行宇宙中,存在着无数个单独的宇宙,每个单独的宇宙可能都发生着不同的事,复宇宙当中每个不同的单独的宇宙就有些类似于这个。并且,因为复宇宙包含这个复宇宙中的地基模型的所有扩张,所以它对这个地基模型是封闭的,也就是说,这个地基模型无论进行怎样的变化,都无法超越这个复宇宙。
脱殊复宇宙:
脱殊复宇宙就是以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://www.bjxsw.cc),接着再看更方便。