Об алгоритмической сложности алгебраических систем

В работе вводятся и изучаются понятия, позволяющие измерять сложность алгебраических систем. Установлена связь этих понятий с понятием относительно элементарной определимости. Построена рекурсивно перечислимая дистрибутивная решетка наибольшей сложности. Найдена сложность полурешетки рекурсивно перечислимых $m$-степеней и решетки рекурсивно перечислимых множеств. Доказано, что любая $\Sigma_2^0$-булева алгебра изоморфна факторизации подходящей рекурсивной булевой алгебры по идеалу Фреше. Библиогр. 9 назв.