Структуры с импликацией.
Суперинтуиционистские логики и проективное свойство Бета.
Схемы доказательств в аксиоматических теориях гильбертовского типа
Теорема об устранимости сечения для релевантных логик
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Теория конечных полей с дополнительным предикатом, выделяющим подполе.
Теория с двумя сильно конструктивизируемыми моделями.
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
Три способа выявления несущественных формул в секвенциях
Три теоремы об элементарных теориях tt-сводимости.
Универсальные теории целых чисел и расширенная гипотеза близнецов
Универсальные хорновы классы и антимногообразия алгебраических систем
Урввнения в свободной топобулевой алгебре.
Уровневые логики
Финитно аппроксимируемая ассоциативная алгебра с неразрешимой проблемой равенства
Финитное исследование трансфинитных выводов
Финитный подход к задаче оптимизации алгоритмов установления выводимости
Хорошие локально-глобальные поля. I.