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