北京师范大学学报(自然科学版)
北京師範大學學報(自然科學版)
북경사범대학학보(자연과학판)
JOURNAL OF BEIJING NORMAL UNIVERSITY
2008年
2期
111-114
,共4页
傅莺莺%沈复兴%吴茂念
傅鶯鶯%瀋複興%吳茂唸
부앵앵%침복흥%오무념
量词消去%完全稠密二叉偏序%代数素模型%简单闭性质
量詞消去%完全稠密二扠偏序%代數素模型%簡單閉性質
량사소거%완전주밀이차편서%대수소모형%간단폐성질
利用理论的代数素模型和简单闭性质,给出了完全稠密二叉偏序理论可量词消去的新的简短的证明.
利用理論的代數素模型和簡單閉性質,給齣瞭完全稠密二扠偏序理論可量詞消去的新的簡短的證明.
이용이론적대수소모형화간단폐성질,급출료완전주밀이차편서이론가량사소거적신적간단적증명.