Данная книга является второй частью монографии "Классификация счетных моделей полных теорий", состоящей из двух томов. В ней рассматриваются различные вопросы, связанные с изучением счетных моделей полных теорий. В частности, анализируются генерические эренфойхтовы теории и реализации предпорядков Рудина-Кейслера в этих теориях. Также представлено решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счетные неоднородные модели. Рассмотрены стабильные генерические эренфойхтовы теории, гиперграфы простых моделей, распределения счетных моделей малых теорий и теорий с континуальным числом типов.
Книга предназначена для специалистов в области математической логики, интересующихся вопросами классификации и анализа счетных моделей полных теорий.
Электронная Книга «Классификация счётных моделей полных теорий. Часть 2» написана автором Сергей Владимирович Судоплатов в 2018 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Монографии НГТУ
ISBN: 978-5-7782-3525-0, 978-5-7782-3523-6
Описание книги от Сергей Владимирович Судоплатов
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
