Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, С. В. - Классификация счётных моделей полных теорий
Судоплатов, С. В. - Классификация счётных моделей полных теорий
Нет экз.
Электронный ресурс
Автор: Судоплатов, С. В.
. 1: Классификация счётных моделей полных теорий : монография
Серия: Монографии НГТУ
Издательство: Новосибирский государственный технический университет, 2018 г.
ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3524-3(ч.1)
Автор: Судоплатов, С. В.
. 1: Классификация счётных моделей полных теорий : монография
Серия: Монографии НГТУ
Издательство: Новосибирский государственный технический университет, 2018 г.
ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3524-3(ч.1)
На полку
Электронный ресурс
Судоплатов, С. В.
1 : Классификация счётных моделей полных теорий : монография / Новосибирский государственный технический университет. – 2-е изд., доп. – Новосибирск : Новосибирский государственный технический университет, 2018. – 376 с. : ил., табл. – (Монографии НГТУ) . – URL: https://biblioclub.ru/index.php?page=book&id=575049. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 304-353. – На рус. яз. – ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3524-3(ч.1).
Книга является первой частью монографии «Классификация счётных моделей полных теорий»', состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Ионсона-Фраиссё и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории.Для интересующихся математической логикой.
510.67
Судоплатов, С. В.
1 : Классификация счётных моделей полных теорий : монография / Новосибирский государственный технический университет. – 2-е изд., доп. – Новосибирск : Новосибирский государственный технический университет, 2018. – 376 с. : ил., табл. – (Монографии НГТУ) . – URL: https://biblioclub.ru/index.php?page=book&id=575049. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 304-353. – На рус. яз. – ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3524-3(ч.1).
Книга является первой частью монографии «Классификация счётных моделей полных теорий»', состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Ионсона-Фраиссё и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории.Для интересующихся математической логикой.
510.67