Оглавление

Введение 4
Глава 1. Предварительные сведения 13
1.1 Сведения из общей топологии 13
1.2 Сведения о семействах полных теорий 13
1.2.1 Сведения из теории аппроксимаций и теории моделей псевдоконечных структур 17
1.2.2 Ранги для семейств полных теорий 19
Глава 2. Определимые подсемейства полных теорий 22
2.1 Ранги для семейств теорий в зависимости от заданных языков 22
2.2 Исчисления для семейств теорий 27
2.2.1 Компактность и E-замкнутые семейства 33
2.2.2 Динамика рангов относительно определимых подсемейств теорий 35
2.3 Алгебры для определимых подсемейств теорий 41
Глава 3. Топологии, ранги и замыкания для семейств полных теорий 46
3.1 Топологии для семейств полных теорий 47
3.2 Ранги и топологии 52
3.3 e-минимальные и Bs-минимальные подсемейства, ранги и степени 56
3.4 Замыкания относительно s-определимых и Bs-определимых подсемейств 61
3.5 Алгебры для Bs-определимых подсемейств семейств теорий 65
3.6 Замыкания 69
3.7 e1-спектры и порождающие подсемейства 78
3.8 Замыкания и ранги для линейно упорядоченных семейств теорий 82
Глава 4. Приложения 89
4.1 Ранги для семейств теорий подстановок 89
4.2 Локально свободные алгебры 93
Заключение 97
Список литературы 98