Неразрешимость теории решетки $L^0_{sm}$

Посредством метода относительной элементарной определимости доказывается наследственная неразрешимость теории решетки рекурсивно перечислимых степеней по отделимости.
Библиогр. 3.