Неразрешимость логики квазиарных предикатов

Строится перевод из языка первого порядка в язык логики квазиарных предикатов. Этот перевод сохраняет выполнимость формул в классах моделей, определенных на тех же множествах элементов. Как следствие, мы получаем, что логика квазиарных предикатов не является разрешимой, теория конечных моделей в языке логики квазиарных предикатов не является рекурсивно перечислимой, и так далее.