Неразрешимость полей рациональных функций над полями характеристики 2.
Неразрешимость универсальной теории конечных групп
Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коффинциентами
Неразрешимые и разрешимые свойства конституант
Неразрешимые свойства расширений логики доказуемости. II
Неразрешимые свойства расширения логики доказуемости
Неразрешимые универсальные теории решеток подгрупп абелевых групп
Нерегулярное исчисление предикатов первого порядка.
Нетабличность логики S4 по функциональной полноте.
Неявная определимость и позитивные логики
Новая регулярная константа в интуиционистской логике высказываний
О выразимости в ограниченной арифметике второго порядка
О выразимости функционалов в языке Д.Скотта LCF
О выразительной силе некоторых динамических логик
О граничной эквивалентности колец и матричных колец над ними
О двух расширениях логики доказуемости GL
О динамических теориях свободных алгебр
О допустимых правилах интуиционистской логики высказываний
О допустимых правилах полимодальной логики
О кванторе предельной осуществимости