URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Кейслер Г., Чэн Ч.Ч. Теория моделей. Пер.с англ.
Id: 92633
 
2999 руб.

Теория моделей. Пер.с англ.

1977. 616 с. Твердый переплет. Букинист. Состояние: 5-. .

 Аннотация

Книга посвящена бурно развивающейся в последние двадцать лет области математики --- теории моделей. В ней тщательно разобраны как классические, так и новейшие достижения теории. Удачно изложены общие методы построения моделей с помощью констант, цепей и ультрапроизведений. Каждая глава заканчивается упражнениями. В конце книги приводятся исторические замечания и формулировки нерешенных проблем. Книга написана с большим педагогическим мастерством.

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


 Оглавление

Предисловие редакторов перевода

Предисловие

Как пользоваться этой книгой

Глава 1. Введение

1.1. Что такое теория моделей?

1.2. Теория моделей логики высказываний

1.3. Языки, модели и выполнимость

1.4. Теории и примеры теорий

1.5. Элиминация кванторов

Глава 2. Модели, построенные из констант

2.1. Полнота и компактность

2.2. Усовершенствование метода. Опускание типов и интерполяционные теоремы

2.3. Счетные модели полных теорий

Глава 3. Дальнейшие теоретико-модельные конструкции

3.1. Элементарные расширения и элементарные цепи

3.2. Приложения элементарных цепей

3.3. Скулемовские функции и неразличимые элементы

3.4. Некоторые примеры

Глава 4. Ультрапроизведения

4.1. Основная теорема

4.2. Измеримые кардиналы

4.3. Регулярные ультрастепени

Глава 5. Насыщенные и специальные модели

5.1. Насыщенные и специальные модели

5.2. Теоремы об устойчивости

5.3. Применение специальных моделей в теории интерполяции и определимости

5.4. Применения к теории полей

5.5. Приложения к булевым алгебрам

Глава 6. Дополнительные сведения об ультрапроизведениях и их обобщениях

6.1. Насыщенные ультрапроизведения

6.2. Прямые произведения, фильтрованные произведения и хор-новские предложения

6.3. Прямые произведения, фильтрованные произведения и хор-новские предложения (продолжение)

6.4. Предельные ультрастепени и полные расширения

6.5. Итерированные ультрастепени

Глава 7. Избранные вопросы

7.1. Категоричность в мощности

7.2. Обобщение теоремы Рамсея и ее применения, некоторые теоремы о двух кардиналах

7.3. Модели большой мощности

7.4. Большие кардиналы и конструктивный универсум

Приложение A. Теория множеств

Приложение В. Открытые проблемы в классической теории моделей

Исторические замечания

Список литературы

Указатель обозначений

Предметный указатель

 
© URSS 2016.

Информация о Продавце