Translator Disclaimer
September 2011 A new spectrum of recursive models using an amalgamation construction
Uri Andrews
J. Symbolic Logic 76(3): 883-896 (September 2011). DOI: 10.2178/jsl/1309952525

Abstract

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.

Citation

Download Citation

Uri Andrews. "A new spectrum of recursive models using an amalgamation construction." J. Symbolic Logic 76 (3) 883 - 896, September 2011. https://doi.org/10.2178/jsl/1309952525

Information

Published: September 2011
First available in Project Euclid: 6 July 2011

zbMATH: 1247.03059
MathSciNet: MR2849250
Digital Object Identifier: 10.2178/jsl/1309952525

Rights: Copyright © 2011 Association for Symbolic Logic

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.76 • No. 3 • September 2011
Back to Top