Recursive-spectrum trichotomy conjecture for strongly minimal theories
Recursive-spectrum trichotomy conjecture for strongly minimal theories
Let 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 that are recursively presentable.
Recursive-spectrum trichotomy conjecture.
Equivalently, all countable models of 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
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.