摘要
利用理论的代数素模型和简单闭性质,我们给出了完全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.
出处
《南京大学学报(数学半年刊)》
CAS
2007年第2期204-212,共9页
Journal of Nanjing University(Mathematical Biquarterly)
基金
国家自然科学基金(60310213)
关键词
量词消去
完全二叉树
完全k-叉树
完全无穷叉树
quantifier elimination, complete binary tree, complete k-ary tree, complete infiniteary tree