Ограниченная интерполяция и проективное свойство Бета в эквациональной логике

Устанавливаются связи между синтаксическими и категорными свойствами эквациональных теорий. Вводятся понятия ограниченной интерполяции и ограниченной амальгамируемости, доказывается их равносильность, изучаются соотношения указанных свойств с проективным свойством Бета, интерполяцией и амальгамируемостью.