咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >关于无端点稠密有序集理论完全性的证明 收藏

关于无端点稠密有序集理论完全性的证明

The Proof of No Endpoint Dense Ordered Set′s Completeness

作     者:刘林娜 陈国龙 LIU Lin-na;CHEN Guo-long

作者机构:淮北煤炭师范学院数学系安徽淮北235000 淮北煤炭师范学院计算机科学与技术系安徽淮北235000 

出 版 物:《淮北煤炭师范学院学报(自然科学版)》 (Journal of Huaibei Coal Industry Teachers College(Natural Science edition))

年 卷 期:2007年第28卷第1期

页      面:1-2页

学科分类:07[理学] 0701[理学-数学] 070101[理学-基础数学] 

基  金:国家自然科学基金(10101008) 安徽省优秀青年科技基金(06046099) 

主  题:初等等价 完全理论 同构嵌入 

摘      要:完全理论在一阶逻辑中占有重要地位.文章利用Robinson判别法证明无端点稠密有序集是完全理论,并由Robinson判别法得到了一个理论是完全理论的充分条件。

读者评论 与其他读者分享你的观点