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