力迫演算在开放逻辑系统中的嵌入

• 作 者: 李未 王驹
• 出 处: 科学通报
• 发表日期: 1994年20期
• 关键词: 力迫演算 开放逻辑系统 嵌入
• 基金项目: 国家自然科学基金资助项目

<正>令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1 A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.