Recursive-spectrum trichotomy conjecture for strongly minimal theories

About 15 years old · traced to

Let TT 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 TT that are recursively presentable.

Recursive-spectrum trichotomy conjecture.

SRM⁡(T)∈{∅,ω+1,{0}}.\operatorname{SRM}(T)\in\{\emptyset,\omega+1,\{0\}\}.

Equivalently, all countable models of TT 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

Never refreshed

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.