初等等价相关论文
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论,用构造性证明方法证明了完全理论T和模型完全的一些等价条件,还给出了完全理......
模型论中的完全理论在代数学中有很广泛的应用，文章用完全理论证明域F上任意n维线性空间y均同构于F上n维数组行向量空间P，特别知，域F......
对一种附加量词L（Q）逻辑的一些模型论性质进行了讨论，用构造性证明方法证明了完全理论T和模型完全的一些等价条件，还给出了完全理论T的......
<正> Jensen在[1]中提出了一个问题:■(x)与C(x)是否初等等价,其中■是全体代数数构成的数域,C是复数域,■(x)与C(x)分别是■与C上......
在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。......
完全理论在一阶逻辑中占有重要地位．文章利用Robinson判别法证明无端点稠密有序集是完全理论，并由Robinson判别法得到了一个理论是完......
对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.......
一个不可定向地图,如果只有一个顶点和一个面,则称它为一个魔.对于一类特殊的魔,称为简魔,论证了棱数不同的简魔不可能初等等价,任......
