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