Классификация счётных моделей полных теорий: в 2 ч. Ч. 1 Монография
Книга является первой частью монографии «Классификация счётных моделей полных теорий» состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей)...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Монография |
| Online-ссылка: | https://znanium.com/catalog/document?id=397309 https://znanium.com/cover/1867/1867810.jpg |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03952nam0a2200289 i 4500 | ||
|---|---|---|---|
| 001 | RU\infra-m\znanium\bibl\1867810 | ||
| 003 | https://znanium.com/catalog/document?id=397309 | ||
| 005 | 20220302000000.0 | ||
| 010 | |a 978-5-7782-3524-3 | ||
| 100 | |a 20220302d2022 m y0rusy0150 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Классификация счётных моделей полных теорий: в 2 ч. Ч. 1 |e Монография | |
| 210 | 1 | |a Новосибирск |c Новосибирский государственный технический университет (НГТУ) |d 2018 | |
| 215 | |a 376 с. | ||
| 330 | |a Книга является первой частью монографии «Классификация счётных моделей полных теорий» состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным но большим единицы числом попарно неизоморфных счетных моделей) класс малых теорий (т. е. полных теорий имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории имеющей счётные не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости свойства эренфойхтовых теорий генерические конструкции а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой. | ||
| 333 | |a ВО - Магистратура | ||
| 606 | |a Физико-математические науки |x Теория вероятностей. Математическая статистика |2 local | ||
| 608 | |a Монография |2 local | ||
| 675 | |a 510 |z rus | ||
| 686 | |a 221 |2 rubbk | ||
| 686 | |a 01.04.01 |2 okso | ||
| 686 | |a 01.04.04 |2 okso | ||
| 700 | 1 | |a Судоплатов |b С.В. |g Сергей Владимирович | |
| 801 | 0 | |a RU |b Общество с ограниченной ответственностью «ЗНАНИУМ» |c 20220301 |2 rusmarc | |
| 856 | 4 | |a znanium.com |m ebs_support@infra-m.ru |n НИЦ ИНФРА-М |u https://znanium.com/catalog/document?id=397309 | |
| 856 | 4 | 1 | |a znanium.com |d /cover/1867 |f 1867810.jpg |q image/jpeg |u https://znanium.com/cover/1867/1867810.jpg |