All Title Author
Keywords Abstract

科学通报  1984 

格值模型力迫法

, PP. 1286-1287

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

References

[1]  null

Full-Text

comments powered by Disqus