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