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