Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 76, Issue 3 (2011), 883-896.
A new spectrum of recursive models using an amalgamation construction
We employ an infinite-signature Hrushovski amalgamation construction to yield two results in Recursive Model Theory. The first result, that there exists a strongly minimal theory whose only recursively presentable models are the prime and saturated models, adds a new spectrum to the list of known possible spectra. The second result, that there exists a strongly minimal theory in a finite language whose only recursively presentable model is saturated, gives the second non-trivial example of a spectrum produced in a finite language.
J. Symbolic Logic, Volume 76, Issue 3 (2011), 883-896.
First available in Project Euclid: 6 July 2011
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Andrews, Uri. A new spectrum of recursive models using an amalgamation construction. J. Symbolic Logic 76 (2011), no. 3, 883--896. doi:10.2178/jsl/1309952525. https://projecteuclid.org/euclid.jsl/1309952525