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