有限可换主理想环上广义模理论T(Q)的模型可归约性

Model Reducibility of Generalized FCPIR-Modules Theory T(Q)

中文关键词:  局部同构  A.B.n－初等等价  A－可满足  Ehrenfeucht  Game

英文关键词:partial isomorphism  α  β  n-extension  α-satisfiable  Ehrenfeucht Game.

中文摘要:

      本文在对两个模型定义了α，β，ｎ－扩充的基础上，利用广义Ｅｈｒｅｎｆｅｕｃｈｔ Ｇａｍｅ理论证明了Ｔ（Ｑ）的模型可归约性，从而得到：对无限基数α，β，（α≥β＞N_０），对于模型(?)则存在模型(?)使得Ａ^α≡^βＢ；以及任意自然数ｍ＞０，存在模型(?)，使得(?)．

英文摘要:

      We deal with the model reducibility of the generalized theory T(Q) of modules on FCPIR, finitely communtative principle ideal ring. By Ehrenfeucht Games Method we confirmed that the model of T(Q) is reducible. That is, for infinite cardinalities α,β with (?), and a α-model A, there exists a β-model B s.t. (?); and further, for a nature number m>0, there exists a N_０-model C, s.t.