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