搜索结果: 1-1 共查到“数理逻辑与数学基础 Naming”相关记录1条 . 查询时间(0.078 秒)
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...