|
|||||
|
|
Model completeness for trivial, uncountably categorical theories of Morley rank 1 |
|
| Authors: | Alfred Dolich Michael C Laskowski Alexander Raichev |
| Institution: | (1) Department of Mathematics and Statistics, McMaster University, Hamilton, L8S 4K1, ON, Canada;(2) Department of Mathematics, University of Maryland, College Park, 20742, MD, USA;(3) Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand |
| Abstract: | We show that if T is a trivial uncountably categorical theory of Morley Rank 1 then T is model complete after naming constants for a model.The second author was partially supported by NSF grant DMS-0300080. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |