Классификация счётных моделей полных теорий. Ч. 1 монография Ч. 1 Классификация счётных моделей полных теорий. Ч. 1 : монография
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей)...
Сохранить в:
| 主要作者: | |
|---|---|
| 格式: | Книга |
| 語言: | Russian |
| 出版: |
Новосибирск
НГТУ
2014
|
| 在線閱讀: | https://e.lanbook.com/book/118328 https://e.lanbook.com/img/cover/book/118328.jpg |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 總結: | Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона– Фраисé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой. |
|---|---|
| 實物描述: | 356 с. |
| 讀者: | Книга из коллекции НГТУ - Математика |
| 參考書目: | Библиогр.: доступна в карточке книги, на сайте ЭБС Лань |
| ISBN: | 978-5-7782-2450-6 |