Неразрешимость позитивной -теории свободной полугруппы
Неразрешимость полей рациональных функций над полями характеристики 2.
Неразрешимость регулярно замкнутых полей
Неразрешимость теории булевых алгебр с автоморфизмом
Неразрешимость теории решетки .
Неразрешимость универсальной теории конечных групп
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Неразрешимость элементарной теории свободной решетки
Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
Неразрешимость элементарных теорий некоторых колец
Неразрешимые и разрешимые свойства конституант
Неразрешимые свойства расширений логики доказуемости. II
Неразрешимые свойства расширения логики доказуемости
Неразрешимые универсальные теории решеток подгрупп абелевых групп
Нерегулярное исчисление предикатов первого порядка.
Несколько замечаний о дистрибутивных решетках
Несколько замечаний о классах рекурсивно-перечислимых множеств.
Несколько результов о верхних полурешетках и m-степенях.
Нестандартные конечномерные аналоги операторов в
Нестандартные многообразия псевдотопологических алгебраических систем.