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