База данных: Каталог ЭБС IPR SMART
Страница 1, Результатов: 1
Отмеченные записи: 0
1.
Подробнее
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
ББК 22.1
Кл.слова (ненормированные):
генерическая теория -- классификация моделей -- математическая логика -- полная теория -- предпорядок рудин-кейслера -- предранговая функция -- проблема гончарова-миллара -- проблема лахлана -- счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
Судоплатов, С. В.
Классификация счётных моделей полных теорий в 2 частях. Ч.2 : монография / Судоплатов С. В. - Новосибирск : Новосибирский государственный технический университет, 2018. - 452 с. - ISBN 978-5-7782-3525-0 (ч.2), 978-5-7782-3523-6 : Б. ц.
Книга находится в Премиум-версии IPR SMART.
| УДК |
Кл.слова (ненормированные):
генерическая теория -- классификация моделей -- математическая логика -- полная теория -- предпорядок рудин-кейслера -- предранговая функция -- проблема гончарова-миллара -- проблема лахлана -- счётная модель
Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой.
Страница 1, Результатов: 1