О числе $Q$-конгруэнций позитивных алгебр

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