Abstract: | 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.
Dedicated to the 60th birthday of Academician Yu. L. Ershov
Supported by RFFR grant No. 99-01-00600.
Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 145–169, March–April, 2000. |