论文部分内容阅读
本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β〉ζζ０），对于模型ｕ＝ａＴＲ（Ｑ）则存在模型Ｂ＝βＴＲ（Ｑ），使得Ｕ＾ｎ＝＾βＢ，以及任意自然数ｍ〉０，存在模型Ｄ＝ζζ０ＴＲ（Ｑ），使得Ｕｍ＾α＝Ｎ０Ｄ。