Оценка алгоритмической сложности классов вычислимых моделей

Содержание
Введение
1. Обозначения и терминология
2. Общая характеристика результатов работы
Глава 1. Конечные модели.
1.1. Обозначения и предварительные результаты . . . ..
1.2. Сигнатура с одной унарной операции
1.3. Сигнатура с несколькими унарными операциями
1.4. Случай произвольной сигнатуры
1.5. Индексное множество конечных моделей .
Глава 2. Теоретикомодельные конструкции .
2.1. Сведение произвольной сигнатуры к сигнатуре графов
2.2. Понижение алгоритмической сложности . . . .
2.3. Маркеровские расширения.
2.4. Построение нижних оценок для маркеровских свойств
Глава 3. Индексные множества специальных классов моделей
3.1. Простые модели .
Глава 4. Индексные множества классов моделей с заданными
свойствами теорий.
4.1. Модели с окатегоричной теорией
4.2. Множество вычислимых икатегоричных моделей
4.3. Эренфойхтовы теории.
Литература