%0 Journal Article
%T 力迫演算在开放逻辑系统中的嵌入
%A 李未
%J 科学通报
%P 1837-1837
%D 1994
%X 令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.
%K 力迫演算
%K 开放逻辑系统
%K 保真集
%K 极限模型
%K 兼纳集
%U http://csb.scichina.com:8080/CN/abstract/abstract362911.shtml