Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством

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