关于无端点稠密有序集理论完全性的证明
The Proof of No Endpoint Dense Ordered Set′s Completeness作者机构:淮北煤炭师范学院数学系安徽淮北235000 淮北煤炭师范学院计算机科学与技术系安徽淮北235000
出 版 物:《淮北煤炭师范学院学报(自然科学版)》 (Journal of Huaibei Coal Industry Teachers College(Natural Science edition))
年 卷 期:2007年第28卷第1期
页 面:1-2页
学科分类:07[理学] 0701[理学-数学] 070101[理学-基础数学]
基 金:国家自然科学基金(10101008) 安徽省优秀青年科技基金(06046099)
摘 要:完全理论在一阶逻辑中占有重要地位.文章利用Robinson判别法证明无端点稠密有序集是完全理论,并由Robinson判别法得到了一个理论是完全理论的充分条件。