Полное описание

Судоплатов, Сергей Владимирович. Классификация счётных моделей полных теорий: в 2 ч. Ч. 1 : Монография / С. В. Судоплатов. - Новосибирск : Новосибирский государственный технический университет (НГТУ), 2018. - 376 с. - ISBN 978-5-7782-3524-3 : Б. ц.

	УДК
	510

	ББК
	221

	РУБ
	01.04.04
	01.04.01

Рубрики:
Физико-математические науки

Аннотация: Книга является первой частью монографии «Классификация счётных моделей полных теорий» состоящей из двух частей. В монографии излагается классификация счётных моделей полных теорий относительно двух основных характеристик (предпорядков Рудин-Кейслера и функций распределения числа предельных моделей) применительно к важнейшим классам счётных теорий. К таким классам относятся класс эренфойхтовых теорий (т. е. полных теорий с конечным но большим единицы числом попарно неизоморфных счетных моделей) класс малых теорий (т. е. полных теорий имеющий счётное число типов) и класс счётных теорий с континуальным числом типов. Для реализации основных характеристик счётных полных теорий приводятся синтаксические генерические
конструкции обобщающие конструкции Йонсона-Фраиссé и конструкции Хрушовского. На основе этих конструкций представляется решение проблемы Гончарова-Миллара о существовании эренфойхтовой теории имеющей счётные не почти однородные модели. С помощью модификации генерической конструкции Хрушовского-Хервига приводится решение проблемы Лахлана о существовании стабильной эренфойхтовой теории. В первой части рассмотрена характеризация эренфойхтовости свойства эренфойхтовых теорий генерические конструкции а также алгебры
распределений бинарных полуизолирующих формул полной теории. Для интересующихся математической логикой.
Нет сведений об экземплярах
Электронная библиотечная система ZNANIUM
https://znanium.com/cover/1867/1867810.jpg

Просмотр издания ЭБС ZNANIUM