某些(2 / 4)

v是不可辨认生成的,如果:

“1有一个长度为ord的连续序列k<k1<,使得kord=ord,并且有换元初等嵌入πi,j:v→v,其中πi,j有临界点ki并sendskitokj”

“2对于任何i≤j,v的任何元素在v中都是可以被πi,j和{k?:i≤?<j}内的元素一阶定义。”

这等价于#-生成。以后也用#-生成来称呼该公理。

#-生成意味着所有与v=l兼容的反射形式。如果#存在,那么#-生成一致。因此,作者认为#-生成表达了最强的高度反射原理,因此可以合理地声称#-生成是表达v的高度最大化的最佳原则。

#-生成并不满足宽度完成主义:为了得到一个足以生成v的#-生成,我们必须要构造一个rank小于ord(v)的不属于v的集合。为了解决这个问题,引出了弱#-生成。

:内模型假设

—如果一个一阶句子在v的某个外模型中成立,那么它在v的某个内模型中也成立。—

在这个版本的表述中,我们可以把外模型理解为一个包含v的、与v的序数相同的、满足zfc的传递集合v*,内模型是指一个v的可定义子类,其序数与v相同,并且满足zfc。根据激进潜在主义,zfc的任何传递模型在更大的这类模型中是可数的,由此我们可以推断出v的丰富的外模型的存在。

举报本章错误( 无需登录 )