Каталог
Классификация счётных моделей полных теорий: монография в 2 ч. – Ч.1. – 2-е изд., доп.
Книга является первой частью монографии «Классификация счётных моделей полных теорий»', состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона–Фраисс? и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
Судоплатов С. В. Классификация счётных моделей полных теорий: монография в 2 ч. – Ч.1. – 2-е изд., доп. / С.В. Судоплатов. - Новосибирск : Новосибирский государственный технический университет, 2018. - 376 с. - ISBN 978-5-7782-3524-3. - URL: https://ibooks.ru/bookshelf/367705/reading (дата обращения: 29.03.2024). - Текст: электронный.