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