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