The paper proves that for every n, [0,n]∪{ω} is the spectrum of recursive models of a flat, non-disintegrated, model complete strongly minimal theory in a finite relational language.
Recursive spectra of strongly minimal theories satisfying the Z ilber trichotomy
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2019 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
$[0,n]\cup \{\omega\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature
The paper proves that for every n, [0,n]∪{ω} is the spectrum of recursive models of a flat, non-disintegrated, model complete strongly minimal theory in a finite relational language.