Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy
classification
🧮 math.LO
keywords
conjecturepresentablerecursivelyfieldsfinitegroupsminimalonly
read the original abstract
We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T are recursively presentable; none of them are recursively presentable; or only the zero-dimensional model of T is recursively presentable. We prove this conjecture for disintegrated (formerly, trivial) theories and for modular groups. The conjecture also holds via known results for fields. The conjecture remains open for finite covers of groups and fields.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.