格值模型力迫法

Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。