Квазитождества конечных унарных алгебр

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