Классификация счётных моделей полных теорий. Часть 2 (Сергей Владимирович Судоплатов)

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