О тьюринговой сложности классов моделей и теорий

Оглавление
Введение
1 Методы преобразования моделей
1.1 Метод понижения СЛОЖНОСТИ
1.2 Метод сведения сигнатур
1.3 Функторы для сведения к сигнатуре графов.
2 Сложность теорий с вычислимыми моделями
2.1 Сложность несчетно категоричных теорий с вычислимыми
моделями
2.2 Сложность счетнокатегоричных теорий с вычислимыми моделями .
3 Индексные множества
3.1 Разрешимые модели
3.2 Разрешимые счетнокатегоричные модели
3.3 Модели с разрешимой теорией
3.4 Приложения к известным классам.
4 Алгоритмические свойства унаров
4.1 Функтор, сводящий графы к моделям сигнатуры с двумя одноместными функциональными символами
4.2 Алгоритмические свойства моделей сигнатуры с двумя одноместными функциональными символами .
Литература