Поиск :
Личный кабинет :
Электронный каталог: Судоплатов С. В. - Классификация счётных моделей полных теорий. Ч. 1
Судоплатов С. В. - Классификация счётных моделей полных теорий. Ч. 1
Нет экз.
Электронный ресурс
Автор: Судоплатов С. В.
. Ч. 1: Классификация счётных моделей полных теорий. Ч. 1 : монография
Издательство: НГТУ, 2014 г.
ISBN 978-5-7782-2450-6
Автор: Судоплатов С. В.
. Ч. 1: Классификация счётных моделей полных теорий. Ч. 1 : монография
Издательство: НГТУ, 2014 г.
ISBN 978-5-7782-2450-6
Электронный ресурс
Судоплатов, С. В.
Ч. 1 : Классификация счётных моделей полных теорий. Ч. 1 : монография . - Новосибирск : НГТУ, 2014 . - 356 с. - Режим доступа : https://e.lanbook.com/book/118328, https://e.lanbook.com/img/cover/book/118328.jpg . - Книга из коллекции НГТУ - Математика . - На рус. яз. - ISBN 978-5-7782-2450-6 .
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона– Фраисé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
510.67
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань
Судоплатов, С. В.
Ч. 1 : Классификация счётных моделей полных теорий. Ч. 1 : монография . - Новосибирск : НГТУ, 2014 . - 356 с. - Режим доступа : https://e.lanbook.com/book/118328, https://e.lanbook.com/img/cover/book/118328.jpg . - Книга из коллекции НГТУ - Математика . - На рус. яз. - ISBN 978-5-7782-2450-6 .
Книга является первой частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин–Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции Йонсона– Фраисé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского–Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости, свойства эренфойхтовых теорий, генерические конструкции, а также алгебры распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
510.67
основной = ЭБС Лань (СЭБ)
основной = ЭБС Лань