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