Максимальные -поля
Модальные логики с LM-аксиомами.
Неабелево многообразие групп имеет неразрешимую элементарную теорию.
Неассоциативные кольца с одним определяющим соотношением, элементарные теории которых разрешимы
Некоторые классы сведения и неразрешимые теории
Некоторые теории в обобщенных исчислениях
Неразрешимость некоторых теорий
Неразрешимость полей рациональных функций над полями характеристики 2.
Неразрешимость универсальной теории конечных групп
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Неразрешимые и разрешимые свойства конституант
Неразрешимые свойства расширений логики доказуемости. II
Неразрешимые универсальные теории решеток подгрупп абелевых групп
Неявная определимость и позитивные логики
О выразимости в ограниченной арифметике второго порядка
О граничной эквивалентности колец и матричных колец над ними
О конечно-определенных и свободных алгебрах многообразий Кантора
О конструктивизируемости простой модели.
О неразрешимости общих проблем полноты, разрешения и эквивалентности для исчислений высказываний
О неразрешимости теорий булевых алгебр с выделенным идеалом.