Поиск :
Личный кабинет :
Электронный каталог: Судоплатов, С. В. - Классификация счётных моделей полных теорий
Судоплатов, С. В. - Классификация счётных моделей полных теорий
Нет экз.
Электронный ресурс
Автор: Судоплатов, С. В.
. 2: Классификация счётных моделей полных теорий : монография
Серия: Монографии НГТУ
Издательство: Новосибирский государственный технический университет, 2018 г.
ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3525-0 (Ч.2)
Автор: Судоплатов, С. В.
. 2: Классификация счётных моделей полных теорий : монография
Серия: Монографии НГТУ
Издательство: Новосибирский государственный технический университет, 2018 г.
ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3525-0 (Ч.2)
На полку
Электронный ресурс
Судоплатов, С. В.
2 : Классификация счётных моделей полных теорий : монография / Новосибирский государственный технический университет. – 2-е изд., доп. – Новосибирск : Новосибирский государственный технический университет, 2018. – 452 с. : ил., табл. – (Монографии НГТУ) . – URL: https://biblioclub.ru/index.php?page=book&id=575050. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 389-438. – На рус. яз. – ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3525-0 (Ч.2).
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов.Для интересующихся математической логикой.
510.67
Судоплатов, С. В.
2 : Классификация счётных моделей полных теорий : монография / Новосибирский государственный технический университет. – 2-е изд., доп. – Новосибирск : Новосибирский государственный технический университет, 2018. – 452 с. : ил., табл. – (Монографии НГТУ) . – URL: https://biblioclub.ru/index.php?page=book&id=575050. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – Библиогр.: с. 389-438. – На рус. яз. – ISBN 978-5-7782-3523-6. - ISBN 978-5-7782-3525-0 (Ч.2).
Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин–Кейслера в этих теориях; решение проблемы Гончарова–Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов.Для интересующихся математической логикой.
510.67