Виртуальные алгебраические изоморфизмы между исчислениями предикатов конечных богатых сигнатур

Доказывается что любые два исчисления предикатов конечных богатых сигнатур алгебраически виртуально изоморфны, т. е. некоторые их декартовы расширения алгебраически изоморфны. В качестве важнейшего приложения установливается, что для исчислений предикатов любых двух конечных богатых сигнатур существует вычислимый изоморфизм между их алгебрами Тарского–Линденбаума, который сохраняет все теоретико-модельные свойства алгебраического типа, соответствующие реальной практике исследований в теории моделей.