摘要
本文中我们将研究语言，上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质，并利用该性质给出理论Ｔ判定问题的一个复杂性上界．
We deal with the quantifier eliminations and corresponding computational complexities for the theory T of groups of prime orders over language We prove that T has the quantifier elimination property and give,an upper bound of the decision problem for theory T.
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
2001年第1期21-28,共8页
Acta Mathematica Sinica：Chinese Series
基金
浙江省自然科学基金
