力迫演算在开放逻辑系统中的嵌入
, PP. 1837-1837
Keywords: 力迫演算,开放逻辑系统,保真集,极限模型,兼纳集
Abstract:
令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.
Full-Text
