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