Recursive-spectrum trichotomy conjecture for strongly minimal theories
Let be a strongly minimal theory in a finite signature satisfying the Zilber Trichotomy. Its recursive spectrum is the set of dimensions of countable models of that are recursively presentable.
Recursive-spectrum trichotomy conjecture.
Equivalently, all countable models of are recursively presentable, none are recursively presentable, or only the zero-dimensional model is recursively presentable. The conjecture remains open for finite covers of groups and fields.
References
Primary source
Uri Andrews and Alice Medvedev, “Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy”, arXiv:1104.4666 (2012).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
No solutions have been posted yet.