Утончения полиномиальной иерархии.
Финитно аппроксимируемая ассоциативная алгебра с неразрешимой проблемой равенства
Финитно-аппроксимационный подход к изучению сложности рекурсивных предикатов
Формальные трансляции
Фридбергеровские нумерации семейств -вычислимо перечислимых множеств.
Функциональные деревья и автоморфизмы моделей
Частичное упорядочение степеней альтернативной m-сводимости.
Частичные степени и r-степени
Частичные степени иммунных и гипериммунных множеств.
Элементарная теория скелетов вложимости дискриминаторных многообразий.
Элементарные теории конечно-порожденных про-р-колец.
Эндоморфизмы группы всех рекурсивных перестановок.
Эффективная неотделимость множества тоджественно истинных и множества конечно опровержимых формул элементарной теории структур
Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий
Эффективно бесконечные классы слабых конструктивизаций моделей
Эффективно иммунные, эффективно гипериммунные множества и их степени неразрешимости
Эффективные аналоги A-, B- и C-множеств и их применение к индексным множествам
Эффективные иерархии
Эффективные операции выбора на конструктивных и позитивных моделях
Эффективные оракулы