Positive-dimensional recursive model conjecture for strongly minimal theories
Let be a strongly minimal theory in a finite signature satisfying the Zilber Trichotomy. A model 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 is recursive, then all models of 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.
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.