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