素数阶群理论的量词消去及复杂性

本文中我们将研究语言,上素数阶群理论Ｔ的量词消去及相应的复杂性．我们证明理论Ｔ有量词消去性质,并利用该性质给出理论Ｔ判定问题的一个复杂性上界．     

同余式x_i~2≡a（modp）相异解的个数的递推公式

同余式ｘ_ｉ~２≡ａ（ｍｏｄｐ）相异解的个数的递推公式沈云付（北京师范大学，北京１００８７５）设ｐ为奇素数，ｍ，ｎ为正整数．同余式（１）的解数仅与ａ的Ｌｅｇｅｎｄｒｅ符号有关，有相同的Ｌｅｇｅｎｄｒｅ符号的同余式它们的解数相同．于是用表示同余式（１）...     

格值模型的初等类及几点注记

本文证明了在有限值格下，一个模型类是初等类当且仅当它对超积和初等等价封闭，同时值格需有强特征式，语言应附有相应的零元关系符号。     

格值模型论的双基数定理和强降L-S-T定理

<正> 在文献[2—5]中已证明当值格L适合某些条件时,二值模型论的某些结果可推广到格值模型论中.本文试图作进一步的推广.证明了:     

素数阶群理论的量词消去算法及其上界

在以前的一些工作中,作者已经证明语言(?)={+,0,e)上素数阶群的理论T有量词消去性质并研究了它的判定问题的复杂性.本文在此基础上将利用T的判定问题的复杂性结果给出理论T的量词消去的一个算法,同时给出该算法的复杂性上界.