Journal Title

Proceedings of the American Mathematical Society

Publication Date

2-24-2003

Abstract

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, strongly minimal theory with at least one computable model are 0"-decidable, and that the spectrum of computable models of any trivial, strongly minimal theory is Σ05.

Subjects

Mathematical models

Publication Information

Proceedings of the American Mathematical Society, 2003, Vol. 131, No. 12, pp. 3901-3912

© retained by author

Downloadable copy is the final published version

Peer-Reviewed

Yes

Document Type

Journal Article

Included in

Mathematics Commons

Share

COinS