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