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