Автоморфизмы конструктивизаций булевых алгебр.
Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
Автоустойчивость булевых алгебр с выделенным идеалом.
Автоустойчивость гиперарифметических моделей
Автоустойчивость и продолжение конструктивизаций.
Алгебраически неэквивалентные конструктивизации бесконечномерного векторного пространства
Алгоритмическая размерность решеток.
Алгоритмические размерности гомоморфных образов моделей
Алгоритмические свойства ветвящихся моделей.
Аналогии теоремы Райса для семантических классов предложений.
Безатомные идеалы конструктивных булевых алгебр.
Вычисления на машинах Тьюринга в конечно-аксиоматизируемых теориях.
Вычислимость некоторых подклассов вычислимого класса конструктивных моделей.
Вычислимые классы конструктивизаций -конструктивизируемых моделей.
Вычислимые классы конструктивизаций моделей бесконечной алгоритмической размерности
Вычислимые классы конструктивизаций моделей конечного типа конструктивности
Вычислимые структурные и антиструктурные теоремы.
Еще раз о вопросе Хигмана
Жесткие конструктивные модули
Задача эффективного выбора конструктивизаций и рекурсивная совместимость проблем на конструктивных моделях