Семантически универсальные классы моделей

Работа посвящена исследованию обобщенных алгебр Линденбаума рекурсивно-аксиоматизируемых и конечно-аксиоматизируемых теорий. Получена характеризация семантически универсальных классов моделей, и на этой основе установлены некоторые их важные свойства. В частности, найдена характеризация обобщенных алгебр Линденбаума для исчислений предикатов конечных богатых сигнатур, что обобщает и усиливает известные результаты У. Ханфа.