搜索结果: 1-1 共查到“数理逻辑与数学基础 elementary diagram”相关记录1条 . 查询时间(0.051 秒)
The elementary diagram of a trivial, weakly minimal structure is near model complete
elementary diagram model complete
2015/9/28
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.