Positive-dimensional recursive model 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. A model M⊨TM\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 M⊨TM\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.

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.