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