初等子模型相关论文
对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论,用构造性证明方法证明了完全理论T和模型完全的一些等价条件,还给出了完全理......
对一种附加量词L（Q）逻辑的一些模型论性质进行了讨论，用构造性证明方法证明了完全理论T和模型完全的一些等价条件，还给出了完全理论T的......
本文用图象方法证明了格值模型论中的强升,降 Lwenheim-Skolem-Tarski定理,用Σn-初等子模型的概念推导了分组理论 T 成为模型完......
将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上.对有限的线性序弱可补格,讨论了关于L(Q)模型的初等子模型的一......
