Простые числа перечисляются полиномом от 10 переменных
Прямые слагаемые булевых алгебр с выделенными идеалами
Псевдофундаментальная последовательность, не эквивалентная монотонной
Пульсирующие иерархии.
Равномерность в теории вычислимых структур
Разделимые типы и ранговые функции в стабильных теориях.
Размерность Хохшильда-Митчела линейно упорядоченных множеств и гипотеза континуума.
Разрешимое некомпактное расширение логики S4.
Разрешимость логических уравнений в модальной системе Grz и интуиционистской логике.
Разрешимость некоторых неэлементарных теорий
Разрешимость некоторых элементарных теорий
Разрешимость позитивной теории свободной счетнопорожденной полугруппы
Разрешимость проблемы допустимости в конечнослойных модальных логиках.
Разрешимость проблемы допустимости правил вывода в модальных логиках S4.2 и S4.2 Grz и суперинтуиционистской логике КС
Разрешимость проективного свойства Бета в многообразиях гейтинговых алгебр
Разрешимость теорий конечно-определенных квазигрупп из -многообразий квазигрупп.
Разрешимость теории некоторой фактор-решетки рекурсивно-перечислимых множеств.
Разрешимость универсальной теории натуральных чисел со сложением и делимостью
Разрешимость эквациональной теории положительных чисел с возведением в степень.
Разрешимость элементарной теории включения сфер