О квазимногообразиях алгебр с определимыми главными конгруэнциями

Доказано, что квазимногообразие алгебр конечной сигнатуры с определимыми главными конгруэнциями имеет конечный базис квазитождеств тогда и только тогда, когда класс (конечно) подпрямо неразложимых алгебр конечно аксиоматизируем. Дана характеризация (локально-конечных) квазимногообразий с определимыми главными конгруэнциями и приведены различные примеры.