paper

Recursive spectra of flat strongly minimal theories

arXiv:2104.14550

Abstract

We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM()) is either of the form for or for , or , or contained in . Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minimal theory with a flat pregeometry.