Конструктивизируемость суператомных булевых алгебр.
Конструктивная классификация арифметических предикатов и семантические базисы арифметики
Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях
Конструктивные модели полных разрешимых теорий.
Конструктивные модели регулярно бесконечной алгоритмической размерности
Конструктивные однородные расширения.
Континуум нормальных расширений модальной логики доказуемости с интерполяционным свойством.
Кратно нормированные поля. II.
Критерий автоустойчивости 1-разрешимых моделей
Критерий допустимости правил в модальной системе S4 и интуиционистской логике.
Критерий конструктивизируемости абелевой группы.
Критерий сильной конструктивизируемости одного класса абелевых p-групп.
Критерий сильной конструктивизируемости однородной модели.
Критические теории
Критические теории многообразий нильпотентных колец
Критические теории над-коммутативно-ассоциативных многообразий колец.
Критические теории некоторых классов графов и унарных алгебр
Критические теории некоторых классов неассоциативных колец
Критррий полноты систем операций в операторных алгоритмах, реализующих функции k-значной логики
Лексикографические степени линейно упорядоченных множеств.