Примитивно связные теории

Доказывается теорема об элиминации кванторов для так называемых примитивно связных теорий, примерами таких теорий служат теории модулей. Данная теорема обобщает хорошо известную теорему Баура–Гараваглиа–Монка об элиминации кванторов в теории моделей модулей. Отметим, что определение класса примитивно связных теорий не содержит, в отличие от модулей, каких либо условий относительно вида аксиом, задающих эти теории.