Positive-dimensional recursive model conjecture for strongly minimal theories

Let TT be a strongly minimal theory in a finite signature satisfying the Zilber Trichotomy. A model MTM\models T is positive dimensional if its dimension is greater than zero, and a structure is recursive if its atomic diagram is recursive.

Positive-dimensional recursive model conjecture. If some positive-dimensional model MTM\models T is recursive, then all models of TT are recursively presentable.

This is presented as a stronger version of the recursive-spectrum trichotomy conjecture. The source does not provide a resolution; related cases are known for disintegrated theories and for field-like theories with classical Zariski geometries, while the general statement remains open.

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.