Три теоремы об элементарных теориях tt-сводимости.
Универсальные теории целых чисел и расширенная гипотеза близнецов
Универсальные хорновы классы и антимногообразия алгебраических систем
Урввнения в свободной топобулевой алгебре.
Уровневые логики
Финитно аппроксимируемая ассоциативная алгебра с неразрешимой проблемой равенства
Финитное исследование трансфинитных выводов
Финитный подход к задаче оптимизации алгоритмов установления выводимости
Хорошие локально-глобальные поля. I.
Хорошие локально-глобальные поля.II
Цепные классы участочно-монотонных функций логики первой матрицы Яськовского
Числа Левенгейма для скелетов многообразий.
Элементарная теория модуля над локальным кольцом.
Явные определения неявно определимых объектов в некоторых модальных логиках.