完全稠密二叉偏序理论可量词消去的新证明  

NEW PROOF FOR QUANTIFIER ELIMINATION OF COMPLETE DENSE BINARY ORDERS

作　　者：傅莺莺[1] 沈复兴[1] 吴茂念[2] 

机构地区：[1]北京师范大学数学科学学院 [2]贵州大学计算机科学与技术学院,贵阳550025

出　　处：《北京师范大学学报（自然科学版）》2008年第2期111-114,共4页Journal of Beijing Normal University(Natural Science)

基　　金：国家自然科学基金资助项目(60310213)

摘　　要：利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.Based on the theoretic model of algebraical prime and simple closed properties, a new short proof for quantifier elimination of the theory of complete dense binary orders was presented.

关 键 词：量词消去 完全稠密二叉偏序 代数素模型 简单闭性质 

分 类 号：O141.4[理学—数学] O177.91[理学—基础数学]