Простые числа перечисляются полиномом от 10 переменных
Псевдофундаментальная последовательность, не эквивалентная монотонной
Пульсирующие иерархии.
Равномерность в теории вычислимых структур
Разрешимость теории некоторой фактор-решетки рекурсивно-перечислимых множеств.
Распознавание самопересечения плоской траектории алгорифмом Колмогорова
Расширенные теории булевых алгебр.
Регулярные аппроксимации рекурсивных предикатов
Редкие и универсальные регрессивные изоли
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел
Рекурсивные однородные булевы алгебры
Рекурсия на обобщенно-вычислимых ординалах
Решётка рекурсивно-перечислимых подалгебр рекурсивной булевой алгебры.
Решетка рекурсивно-перечислимых подструктур эффективной системы замыканий
Сводимости по перечислимости
Сводимость линейными по Жегалкину таблицами
Сводимость морфизмами
Сводимость частично-рекурсивных функций
Сводимость частично-рекурсивных функций, II