L(Q)逻辑的完全理论

• 作者: 宋契
• 来源期刊: 河北大学学报（自然科学版）
• 学科: 数学
• 关键词: 初等等价 完全理论 初等子模型
• 年，卷（期）: 2000,（4）
• 所属期刊栏目: 研究报告
• 页码范围: 323-325
• 页数: 3页
• 分类号: O141
• 字数: 4219字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1565.2000.04.005

摘要

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论,用构造性证明方法证明了完全理论T和模型完全的一些等价条件,还给出了完全理论T的一种判定定理,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋契	河北经贸大学信息技术学院	1	1	1.0	1.0