Классификация счётных моделей полных теорий в 2 частях. Ч.1 монография
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей)...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | Книга |
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Перейти к просмотру издания |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| LEADER | 04497nam0a2200421 4500 | ||
|---|---|---|---|
| 001 | RU/IPR SMART/91735 | ||
| 856 | 4 | |u https://www.iprbookshop.ru/91735.html |z Перейти к просмотру издания | |
| 801 | 1 | |a RU |b IPR SMART |c 20240904 |g RCR | |
| 010 | |a 978-5-7782-3524-3 (ч.1), 978-5-7782-3523-6 | ||
| 205 | |a Классификация счётных моделей полных теорий в 2 частях. Ч.1 |b 2025-02-05 | ||
| 333 | |a Гарантированный срок размещения в ЭБС до 05.02.2025 (автопролонгация) | ||
| 100 | |a 20240904d2018 k y0rusy01020304ca | ||
| 105 | |a y j 000zy | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 200 | 1 | |a Классификация счётных моделей полных теорий в 2 частях. Ч.1 |e монография |f С. В. Судоплатов | |
| 700 | 1 | |a Судоплатов, |b С. В. |4 070 | |
| 330 | |a Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т.е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т.е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой. | ||
| 210 | |a Новосибирск |c Новосибирский государственный технический университет |d 2018 | ||
| 610 | 1 | |a теория моделей | |
| 610 | 1 | |a классификация моделей | |
| 610 | 1 | |a счётная модель | |
| 610 | 1 | |a полная теория | |
| 610 | 1 | |a характеризация эренфойхтовости | |
| 610 | 1 | |a генерическая конструкция | |
| 610 | 1 | |a конструкция Хрушовского | |
| 610 | 1 | |a детерминированный моноид | |
| 610 | 1 | |a ациклический граф | |
| 610 | 1 | |a математическая логика | |
| 675 | |a 510.67 | ||
| 686 | |a 22.1 |2 rubbk | ||
| 300 | |a Книга находится в премиум-версии IPR SMART. | ||
| 106 | |a s | ||
| 230 | |a Электрон. дан. (1 файл) | ||
| 336 | |a Текст | ||
| 337 | |a электронный | ||
| 503 | 0 | |a Доступна эл. версия. IPR SMART | |
| 215 | |a 376 с. | ||