Trivial, Strongly Minimal Theories Are Model Complete after Naming Constants
Sergey S. Goncharov, Valentina S. Harizanov, Michael C. Laskowski, Steffen Lempp and Charles F. D. McCoy
- 期刊名称Proceedings of the American Mathematical Society
- 作者Sergey S. Goncharov, Valentina S. Harizanov, Michael C. Laskowski, Steffen Lempp and Charles F. D. McCoy
- 卷第131卷
- 期第12期
- 印刷ISSN0002-9939
- 文件大小1052.77KB
- 发表时间2003-12
- DOI10.2307/1194542
- 页码3901-3912