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