The elementary diagram of a trivial, weakly minimal structure is near model complete
The elementary diagram of a trivial, weakly minimal structure is near model complete
复制标题
一个平凡的、弱最小结构的基本图已接近模型完成
DOI：
10.1007/s00153-008-0116-0
复制
发表时间：
2009
影响因子：
0.3
通讯作者：
M. Laskowski
中科院分区：
文献类型：
--
作者：
M. Laskowski
我们证明，如果M是一个平凡的，弱极小理论的任何模型，那么基本图T（M）消除量词下降到某些存在公式的布尔组合。
We prove that if M is any model of a trivial, weakly minimal theory, then the elementary diagram T(M) eliminates quantifiers down to Boolean combinations of certain existential formulas.