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