Complete theories with only universal and existential axioms
Complete theories with only universal and existential axioms
复制标题
仅具有普遍和存在性公理的完整理论
DOI：
--
复制
发表时间：
1987
期刊：
影响因子：
--
通讯作者：
A. Lachlan
中科院分区：
文献类型：
--
作者：
A. Lachlan
设T是有限关系语言上的一个完备的一阶理论，它被普遍存在的句子公理化。证明了T几乎是平凡的，因为T的任何模型的宇宙都可以被写成。其中F是有限的，且I 1，I 2，…文中还讨论了有限关系语言上∃∀公理完备理论的一些结果。
Abstract Let T be a complete first-order theory over a finite relational language which is axiomatized by universal and existential sentences. It is shown that T is almost trivial in the sense that the universe of any model of T can be written . where F is finite and I 1, I 2, …, In are mutually indiscernible over F. Some results about complete theories with ∃∀-axioms over a finite relational language are also mentioned.