%0 Journal Article
%T 格值模型力迫法
%A 沈复兴
%J 科学通报
%P 1286-1287
%D 1984
%X Robinson把Cohen力迫法引进模型论,得到一些有趣的结果。本文把力迫法引进格值模型论中。本文所用符号从文献[2,3],并要求是可数语言,C是可数无限新常量集,值格L适合紧致性定理,满足性质(F_1)、(F_2),具有特征式△.理论T是指中和谐分组句子集。
%U http://csb.scichina.com:8080/CN/abstract/abstract356028.shtml