$[0,n]\cup \{\omega \}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature

Abstract

We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.

arXiv commentFinal author version