本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β〉ζζ０），对于模型ｕ＝ａＴＲ（Ｑ）则存在......