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