New spectra of strongly minimal theories in finite languages

doi:10.1016/j.apal.2010.11.002

Annals of Pure and Applied Logic

Volume 162, Issue 5, February–March 2011, Pages 367-372

https://doi.org/10.1016/j.apal.2010.11.002 Get rights and content

Under an Elsevier user license

open archive

Abstract

We describe strongly minimal theories $T_{n}$ with finite languages such that in the chain of countable models of $T_{n}$ , only the first $n$ models have recursive presentations. Also, we describe a strongly minimal theory with a finite language such that every non-saturated model has a recursive presentation.

MSC

03C57

03D45

Keywords

Hrushovski amalgamation

Computable spectrum

Finite language