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