Позитивные алгебры со счетными решетками конгруэнций

Исследуются свойства позитивных алгебр со счетными решетками конгруэнции. Для класса таких алгебр, в частности, получен алгебраический критерий эффективной бесконечности, доказана локальная конечность неэффективно бесконечных алгебр и построен пример конечно-определенной в конечнобазируемом многообразии алгебры с нётеровой решеткой конгруэнции и неразрешимой проблемой равенства. Показано, что для любого натурального $n$ существует позитивная алгебра, имеющая ровно $n$ неперечислимых конгруэнций.