Positive-dimensional recursive model conjecture for strongly minimal theories
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.
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
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.