量词消去法相关论文
量词消去法已经成为代数模型论中最有力的研究工具之一.对于一个理论,如果研究小组能够使用量词消去法,它往往能够为研究小组提供......
研究无原子布氏代数的计算复杂性. 得到了下面的新定理:定理1 无原子布氏代数理论Δ具有完全的量词消去法,也就是说每一个式子都Δ......
本文利用量词消去理论证明了后继函数理论是完全的。...
