Об универсальной определимости классов Мальцева

Известная теорема Пиксли-Вилле о конгруэнц-квазитождествах обобщается на случай универсальных конгруэнц-формул. Доказано, что любое дизъюнктивное конгруэнц-тождество определяет $M_\sigma$-класс, который может не иметь типа $M_\delta$. Указаны простые примеры проективных, но не аксиоматизируемых классов алгебр.