论文部分内容阅读
本文在对两个模型定义了α,β,n-扩充的基础上,利用广义Ehrenfeucht Game理论证明了T(Q)的模型可归约性,从而得到:对无限基数α,β,(α≥β〉ζζ0),对于模型u=aTR(Q)则存在模型B=βTR(Q),使得U^n=^βB,以及任意自然数m〉0,存在模型D=ζζ0TR(Q),使得Um^α=N0D。