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.