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