摘要
令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为一个力迫条件.
出处
《科学通报》
EI
CAS
CSCD
北大核心
1994年第20期1837-1840,共4页
Chinese Science Bulletin
基金
国家自然科学基金资助项目
