Книга является первой частью монографии "Классификация счетных моделей полных теорий", состоящей из двух частей. В монографии излагается классификация счетных моделей полных теорий относительно двух основных характеристик (предпорядков РудинКейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счетных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным, но большим единицы числом попарно неизоморфных счетных моделей), класс малых теорий (т. е. полных теорий, имеющий счетное число типов) и класс счетных теорий с континуальным числом типов. Для реализации основных характеристик счетных полных теорий приводятся синтаксические генерические конструкции, обобщающие конструкции ЙонсонаФраисс и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы ГончароваМиллара о существовании эренфойхтовой теории, имеющей счетные, не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории.
)
новое;
В продаже с 16.08.2024
