Квазитождества конгруэнц-дистрибутивных квазимногообразий алгебр

Нуракунов А.М.

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