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