IPR SMART / Classification of countable models of complete theories. Р.1

Чтение online

Недоступно

Рейтинг издания

Classification of countable models of complete theories. Р.1. Monograph in two parts

Издательство:

Новосибирский государственный технический университет

Авторы:

Sudoplatov S.V.

Год издания:

2018

ISBN:

978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7

Тип издания:

монография

DOI:

не присвоен узнать подробнее

Об издании

The book is the first part of the monograph «Classification of countable models of complete theories» consisting of two parts. In the monograph, a classification of countable models of complete theories with respect to two basic characteristics (Rudin-Keisler preorders and distribution functions for numbers of limit models) is presented and applied to the most important classes of countable theories such as the class of Ehrenfeucht theories (i. e., complete first-order theories with finitely many but more than one pairwise non-isomorphic countable models), the class of small theories (i. e., complete first-order theories with countably many types), and the class of countable first-order theories with continuum many types. For realizations of basic characteristics of countable complete theories, syntactic generic constructions, generalizing the Jonsson-Fraïssé construction and the Hrushovski construction, are presented. Using these constructions a solution of the Goncharov-Millar problem (on the existence of Ehrenfeucht theories with countable models which are not almost homogeneous) is described. Modifying the Hrushovski-Herwig generic construction, a solution of the Lachlan problem on the existence of stable Ehrenfeucht theories is shown. In the first part, a characterization of Ehrenfeuchtness, properties of Ehrenfeucht theories, generic constructions, and algebras for distributions of binary semi-isolating formulas of a complete theory are considered. The book is intended for specialists interested in Mathematical Logic.

Библиографическая запись

Sudoplatov S.V. Classification of countable models of complete theories. Р.1 : monograph in two parts / Sudoplatov S.V.. — Новосибирск : Новосибирский государственный технический университет, 2018. — 326 c. — ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7. — Текст : электронный // Цифровой образовательный ресурс IPR SMART : [сайт]. — URL: https://www.iprbookshop.ru/91255.html (дата обращения: 25.12.2024). — Режим доступа: для авторизир. пользователей

РЕКОМЕНДУЕМ К ПРОЧТЕНИЮ

Правонарушения в сфере миграции. Классификация. Доказательства. Производство = Offenses in the Field of Migration. Classification. Evidence. Production

Прудников А.С., Маюров Н.П., Эриашвили Н.Д., Тузов Л.Л., Прудникова Т.А., Калинин В.Н., Зраева И.М., Бровко Н.В., Дутов П.О., Маюров П.Н., Рычков Ю.А....

(ЮНИТИ-ДАНА)

Риск-менеджмент в корпоративном бизнесе

Пасько E.A.

(Северо-Кавказский федеральный университет)

Анализ глобальных цепочек в моделях международной торговли

Игнатенко А.С., Идрисова В.В., Литвинова Ю.О.

(Дело)

Венецианская комиссия. Сто шагов к демократии через право

Курбанов Р.А., Шведкова О.В., Артемов В.Ю., Белялова А.М.

(Статут, Институт законодательства и сравнительного правоведения при Правительстве Российской Федерации)

Проектирование пьезоэлектрических датчиков на основе пространственных электротермоупругих моделей

Богуш М.В.

(Техносфера)

Медицинская паразитология

Мяндина Г.И.

(Российский университет дружбы народов)

Проблемы функциональной грамматики

Ахапкина Я.Э., Бондарко А.В., Воейкова М.Д., Горбов А.А., Горбова Е.В., Дмитренко С.Ю., Дымарский М.Я., Ирисханова О.К., Казаковская В.В., Кубрякова Е.С., Матханова И.П., Недялков И.В., Норман Б.Ю., ...

(Языки славянской культуры)

Концепция «общества знания» в современной социальной теории

Делокаров К.Х., Бехманн Г., Ефременко Д.В., Москалёв И.Е., Горохов В.Г., Соколова М.Е.

(Институт научной информации по общественным наукам РАН)

C ЭТОЙ КНИГОЙ ТАКЖЕ ЧИТАЮТ

Алгебра индексных объектов

Гущин А.В., Палевская С.А.

(Ай Пи Ар Медиа)

Искусственный интеллект в финансах

Барабанова М.И., Богатырев С.Ю., Борисова О.В., Затевахина А.В., Круглова И.А., Лосев Н.А., Помулев А.А., Солодовников М.А., Шарафанова Е.Е., Шашина И.А....

(Международный банковский институт имени Анатолия Собчака)

Эконометрическое моделирование. Временные ряды и коинтеграция

Поползин Д.Ю., Дубина И.Н., Ибрагимов Н.М., Мкртчян Г.М.

(Ай Пи Ар Медиа)

Адвокатура в России

Газетдинов Н.И., Галоганов А.П., Иванов Д.А., Исаенкова О.В., Казанцев С.Я., Колоколов Н.А., Мамонтов В.А., Мирзоев Г.Б., Никитин М.И., Потапова Ю.С., Тумаков А.В., Федорова Ю.А., Шарихин А.Е., Эриаш...

(ЮНИТИ-ДАНА)