## Notre Dame Journal of Formal Logic

### A New Spectrum of Recursive Models

André Nies

#### Abstract

We describe a strongly minimal theory S in an effective language such that, in the chain of countable models of S, only the second model has a computable presentation. Thus there is a spectrum of an -categorical theory which is neither upward nor downward closed. We also give an upper bound on the complexity of spectra.

#### Article information

Source
Notre Dame J. Formal Logic Volume 40, Number 3 (1999), 307-314.

Dates
First available in Project Euclid: 28 May 2002

Permanent link to this document
http://projecteuclid.org/euclid.ndjfl/1022615611

Digital Object Identifier
doi:10.1305/ndjfl/1022615611

Mathematical Reviews number (MathSciNet)
MR1845630

Zentralblatt MATH identifier
1007.03036

#### Citation

Nies, André. A New Spectrum of Recursive Models. Notre Dame J. Formal Logic 40 (1999), no. 3, 307--314. doi:10.1305/ndjfl/1022615611. http://projecteuclid.org/euclid.ndjfl/1022615611.

#### References

• [1] Baldwin, J., and A. Lachlan, On strongly minimal sets,'' The Journal of Symbolic Logic, vol. 36, (1971), pp. 79--96.
• [2] Hodges, W., Model Theory, Encyclopedia of Mathematics, Cambridge University Press, Cambridge, 1993.
• [3] Khoussainov, B., A. Nies, and R. A. Shore, Recursive models of theories with few models,'' Notre Dame Journal of Formal Logic, vol. 38 (1997), pp. 165--78.
• [4] Kudeiberganov, K., On constructive models of undecidable theories,'' Sibirskiy Matematicheskiy Zhumal, vol. 21 (1980), pp. 155--58, 192.