搜索结果: 1-3 共查到“知识库 公理集合论 Complete”相关记录3条 . 查询时间(0.031 秒)
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.
Trivial, strongly minimal theories are model complete after naming constants
model complete naming constants
2015/9/25
We prove that if M is any model of a trivial, strongly
minimal theory, then the elementary diagram Th(MM ) is a model
complete LM -theory. We conclude that all countable models of
a trivial, strong...
Borel complexity of complete, first order theories(status report)
first order theories status report
2015/9/25
Borel complexity of complete, first order theories(status report).