%0 Journal Article
%T 格值模型论中常量构作法的两个应用
%A 王世强
%J 科学通报
%P 129-130
%D 1981
%X 本文是文献[1]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容与文献[1]是各自独立的。本文主要是用常量构作模型的方法的两个应用。其一是用于证明某些有限值格时的紧致性定理(文献[1]中已用超积方法证明了有限值格时的紧致性定理),其二是用于证明某些值格时的省略型定理。
%U http://csb.scichina.com:8080/CN/abstract/abstract354364.shtml