完全分叉树理论可量词消去的新证明  

A NEW PROOF OF QUANTIFIER ELIMINATION OF COMPLETE FORKED TREES

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

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

出　　处：《南京大学学报（数学半年刊）》2007年第2期204-212,共9页Journal of Nanjing University(Mathematical Biquarterly)

基　　金：国家自然科学基金(60310213)

摘　　要：利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)-叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明。Basing on the model-theoretic properties of having algebraically prime models and being simply closed for first-order theories, we present new proofs for quantifier elimination of theories of complete forked trees, including theory of complete k（k〈ω）-ary trees and of complete infiniteary trees, which simplify original proofs extremely.

关 键 词：量词消去 完全二叉树 完全k-叉树 完全无穷叉树 

分 类 号：O141.4[理学—数学]