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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have