PRIMITIVE CONNECTED THEORIES

We prove the quantifier-elimination theorem for so-called primitive connected theories, exemplified by theories of modules. The theorem generalizes the well-known Baur-Monk-Garavaglia theorem on the elimination of quantifiers in the model theory of modules. The definition of a class of primitive connected theories, as distinct from modules, is not supposed to impose any conditions on a type of axioms that would specify those theories.