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