...

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。......

利用用谐性质的方法给出Ｌω１ω片断Ｌｆ上的省略型定理，作为应用，对Ｌｆ中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ的素模......

建立ω１ω语言格值模型论的Ｍａｌｉｔｚ插值定理和省略型定理，简单讨论格值齐次模型的性质，最后将二值模型论中构造模型的初等链方法引入ω１ω语言......

本文用超限归纳法给出L.A.Zadeh模糊集合系统的可逆模型,证明了该模型是2ermelo-Fraenkel公理集合理论的一个格值模型,建立了L.A.Z......

对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了......