初等等价相关论文
模型论中的完全理论在代数学中有很广泛的应用，文章用完全理论证明域F上任意n维线性空间y均同构于F上n维数组行向量空间P，特别知，域F......
完全理论在一阶逻辑中占有重要地位．文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完......
对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.......
一个不可定向地图,如果只有一个顶点和一个面,则称它为一个魔.对于一类特殊的魔,称为简魔,论证了棱数不同的简魔不可能初等等价,任......
