Нуракунов А. М.
Квазитождества конгруэнц-дистрибутивных квазимногообразий алгебр
Nurakunov A. M.
Quasi-identities of congruence-distributive quasivarieties of algebras

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

Полный текст статьи / Full texts:

• PDF file (422 KB)
• PostScript file (824 KB)