Слабая форма интерполяции в эквациональной логике

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