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 ( $ \operatorname {\mathrm {SRM}}(T)$ ) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.