格值模型论中的无限力迫方法

本文把Robinson模型论无限力迫法引进格值模型论中。设Σ是语言(?)的格值模型类。我们定义了Σ中模型(?)与(?)(A)的句子间的力迫关系,我们证明了格值generic模型存在定理以及格值generic模型类(?)的一些模型论性质。本文还给出了格值力迫伴随理论,格值模型伴随理论以及格值拟generic模型类的一些基本性质。