南京大学学报(数学半年刊)
南京大學學報(數學半年刊)
남경대학학보(수학반년간)
JOURNAL OF NANJING UNIVERSITY MATHEMATICAL BIQUARTERLY
2007年
2期
204-212
,共9页
量词消去%完全二叉树%完全k-叉树%完全无穷叉树
量詞消去%完全二扠樹%完全k-扠樹%完全無窮扠樹
량사소거%완전이차수%완전k-차수%완전무궁차수
利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.
利用理論的代數素模型和簡單閉性質,我們給齣瞭完全k(k<ω)- 扠樹理論和完全無窮扠樹理論可量詞消去的新的證明,很大程度上簡化瞭原有證明.
이용이론적대수소모형화간단폐성질,아문급출료완전k(k<ω)- 차수이론화완전무궁차수이론가량사소거적신적증명,흔대정도상간화료원유증명.
