НЕФТЬ-ГАЗ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

Теперь на нашем сайте можно за 5 минут создать свежий реферат или доклад

Скачать книгу целиком можно на сайте: www.nglib.ru.

<< Математическое моделирование <<

Кейслер Г.N. Теория моделей

Скачать книгу здесь
Автор: Кейслер Г.N.
Название: Теория моделей
Год издания: 1977
УДК: 517.11
Число страниц: 617
Содержание книги:
Предисловие редакторов перевода
Предисловие
Как пользоваться этой книгой
Глава 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.1. Насыщенные ультрапроизведения
6.2. Прямые произведения, фильтрованные произведения и хор-новские предложения
6.3. Прямые произведения, фильтрованные произведения и хор-новские предложения (продолжение
6.4. Предельные ультрастепени и полные расширения
6.5. Итерированные ультрастепени
7.1. Категоричность в мощности
7.2. Обобщение теоремы Рамсея и ее применения, некоторые теоремы о двух кардиналах
7.3. Модели большой мощности
7.4. Большие кардиналы и конструктивный универсум
Приложение А, Теория множеств
Исторические замечания
Список литературы
Указатель обозначений
Предметный указатель
Глоссарий:
1 2 5 6 а б в г д е ж з и й к л м н о п р с т у ф х ц ч ш ъ ь э я
Смотреть страницы:
4 5 66 126 186 246 306 366 426 486 546 606 614 616
Полнотекстовый поиск по книге:
Введите слово или фразу для поиска:
Близкие по содержанию книги:
Математическая логика
Математика >> Прочее
Прикладные задачи теории графов
Математика >> Вычислительная математика >> Теория графов
Лекции по математической логике и теории алгоритмов Часть 2
Математика >> Вычислительная математика >> Программиование

Просмотреть оригинальные страницы книг в формате djvu можно на сайте: www.nglib.ru.


Главный редактор проекта: Мавлютов Р.Р.
oglib@mail.ru