Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров
Разрешимость элементарной теории универсальных полуполей второго рода
Разрешимость элементарных теорий некоторых классов абелевых групп
Разрешимость элементарных теорий некоторых конечно-определенных алгебр.
Разрешимость элементарных теорий решеток подполугрупп.
Разрешимые классы псевдопредваренных формул
Разрешимые теории псевдо-p-адически замкнутых полей
Разрешимые фрагменты универсальных теорий и экзистенциально замкнутые модели
Разришимая модальная логика с неразрешимой проблемой допустимости правил вывода
Ранг Ласкара и свойство конечного покрытия для полных теорий унаров
Распознавание самопересечения плоской траектории алгорифмом Колмогорова
Распространение обратного метода на аксиоматические теории с равенством
Расширенные теории булевых алгебр.
Регулярно r-замкнутые поля
Регулярно r-замкнутые поля со слабоуниверсальными группами Галуа.
Регулярные аппроксимации рекурсивных предикатов
Редкие и универсальные регрессивные изоли
Редукция пропозициональной тавтологичности к раскрашиваемости графов в три цвета
Рекурсивно несовместные алгоритмические проблемы на 1-конструктивизируемых дистрибутивных решетках с относительными дополнениями.
Рекурсивно-комбинаторные свойства подмножеств натуральных чисел