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

Исследуются выразительные возможности формул логики предикатов над некорорым списком $PL$ теоретико-модельных свойств. Получена характеризация обобщенных $L$-алгебр Линденбаума для семантически универсальных конечно-аксиоматизируемых классов моделей при условии включения $L\subseteq PL$. Доказано существование рекурсивного изоморфизма, сохраняющего свойства из списка $PL$, между алгебрами Линденбаума исчислений предикатов двух различных конечных богатых сигнатур.