Классификация счётных моделей полных теорийБиблиотека Нон-фикшн читать электронные книги

Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов.
Для интересующихся математической логикой.

Предисловие ко второму изданию	13
Предисловие	14
Глава 4. Генерические эренфойхтовы теории и предпорядки Рудин–Кейслера	17
Глава 5. Стабильные генерические эренфойхтовы теории (решение проблемы Лахлана)	159
Глава 6. Гиперграфы простых моделей и распределения счeтных моделей малых теорий	280
Глава 7. Распределения счeтных моделей теорий с континуальным числом типов	343
Библиографический список	389
Именной указатель	439
Указатель терминов	440
Указатель обозначений	446

Классификация счётных моделей полных теорий: монография : в 2 частях, Ч. 2

Отзывы: нет