Сильная эквивалентность на интуиционистской модели Крипке и ассерторически равнообъемные логики
Сильно конструктивная модель без элементарных подмоделей и расширений.
Синтаксис и семантика модальных логик, содержащих S4
Синтаксис и семантика суперинтуиционистских логик
Сколемовские функции и конструктивные модели.
Сложность и время работы нормальных алгорифмов, вычисляющихфункции алгебры логики
Сложность разрешения теории первого порядка вещественно замкнутых полей
Сравнение топологической и реляционной семантик суперинтуиционистских логик
Структурально полные суперинтуиционистские логики и примитивные многообразия псевдобулевых алгебр
Структуры с импликацией.
Суперинтуиционистские логики и проективное свойство Бета.
Схемы доказательств в аксиоматических теориях гильбертовского типа
Теорема об устранимости сечения для релевантных логик
Теории булевых алгебр в исчислении с квантором "существует бесконечно много".
Теория конечных полей с дополнительным предикатом, выделяющим подполе.
Теория с двумя сильно конструктивизируемыми моделями.
Тотально трансцендентная разрешимая теория без конструктивизируемых однородных моделей
Тотально трансцендентная теория с неконструктивизируемой простой моделью
Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева
Три способа выявления несущественных формул в секвенциях