Введение
1. Предварительные сведения 17
1.1. Сведение произвольной конечной сигнатуры к сигнатуре графов 17
1.2. Расширения Маркера 18
1.3. Челночные отношения для линейных порядков 20
1.4. Простые булевы алгебры 22
2. Автоустойчивые относительно сильных конструктивизаций разрешимые и вычислимые модели 28
2.1. Разрешимые модели автоустойчивые относительно сильных конструктивизаций 28
2.2. Вычислимые модели автоустойчивые относительно сильных конструктивизаций 35
3. Автоустойчивые относительно сильных конструктивизаций модели естественных классов 65
3.1. Линейные порядки автоустойчивые относительно сильных конструктивизаций 65
3.2. Булевы алгебры автоустойчивые относительно сильных конструктивизаций 70
3.3. Структуры с двумя отношениями эквивалентности автоустойчивые относительно сильных конструктивизаций 81
Заключение 87
Список литературы
