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