Введение
1. Распределение счётных моделей теорий с континуальным числом типов 12
1.1. Примеры 12
1.2. Предпорядки Рудин — Кейслера 15
1.3. Предмодельные множества 22
1.4. Распределения счётных моделей теории по кк последовательностям 24
1.5. Три класса счётных моделей 27
1.6. Операторы, действующие на классе алгебраических систем 31
1.7. Распределения простых и предельных моделей для конечных и счётных предпорядков Рудин — Кейслера 36
1.8. Взаимосвязь классов Р, L и NPL в теориях с континуальным числом типов. Распределения троек ст3(Т) в классе Тс 45
1.9. Операторы порождения предпорядков Рудин - Кейслера 48
2. Теории одноместных предикатов 54
2.1. Чистые теории независимых одноместных предикатов 54
2.2. Теории независимых одноместных предикатов с подстановкой ограниченного порядка 61
3. Теория группы целых чисел 65
Заключение 72
