Recursive-spectrum trichotomy conjecture for strongly minimal theories

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.

Sources & referencesView supporting material

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.