Алгебраические системы 2-й ступени
Алгоритмическая размерность решеток.
Алгоритмические размерности гомоморфных образов моделей
Алгоритмические свойства ветвящихся моделей.
Аналогии теоремы Райса для семантических классов предложений.
Антиаддитивные примитивно связные теории
Безатомные идеалы конструктивных булевых алгебр.
Булевозначные алгебры
Булевы модели и некоторые их применения
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
Вычислимость некоторых классов конструктивных алгебр
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
Вычислимость частичных функций и перечислимость множеств в арифметике Пеано
Вычислимые классы конструктивизаций -конструктивизируемых моделей.
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Вычислимые классы конструктивизаций моделей конечного типа конструктивности
Вычислимые структурные и антиструктурные теоремы.
Генерические модели счетных теорий
Гипотеза Вота для модулей над коммуникативным прюферовым кольцом.
Группоиды ранга 2, порождающие категоричные Хорновы классы.