Новые поступления (книга в стадии обработки) Судоплатов, С. В. Классификация счётных моделей полных теорий. Часть 2 [Электронный ресурс] : Монография / С. В. Судоплатов. - Новосибирск : Новосибирский государственный технический университет, 2014. - 448 с. - ISBN 978-5-7782-2451-3 : Б. ц. Книга находится в премиум-версии ЭБС IPR BOOKS.
Кл.слова (ненормированные): классификация моделей -- счётная модель -- эренфойхтовая теория -- генерическая теория Аннотация: Книга является второй частью монографии «Классификация счётных моделей полных теорий», состоящей из двух частей. В книге рассмотрены генерические эренфойхтовы теории и реализации предпорядков Рудин-Кейслера в этих теориях; решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории, имеющей счётные, не почти однородные модели; стабильные генерические эренфойхтовы теории (решение проблемы Лахлана); гиперграфы простых моделей и распределения счётных моделей малых теорий, а также распределения счётных моделей теорий с континуальным числом типов. Для интересующихся математической логикой. |