Кейслер Г., Чэн Ч.Ч. — Теория моделей :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Красота

Кейслер Г., Чэн Ч.Ч. — Теория моделей

Кейслер Г., Чэн Ч.Ч. — Теория моделей

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Теория моделей

Авторы: Кейслер Г., Чэн Ч.Ч.

Аннотация:

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

Язык:

Рубрика: Математика/

Серия: Сделано в холле

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 618

Добавлена в каталог: 04.12.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

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

Порядок элемента группы      56
Порядок элемента дерева      230
Последователь кардинала      559
Последовательность Коши      312
Правила вывода      38
Правило обобщения      39
Правило отделения (модус поненс)      22 39
Предикат арифметический      381
Предложение      38
Предложение выполнимое      47
Предложение замкнутое относительно фильтрованных корней      416
Предложение истинное      47
Предложение истинное (верное) в модели      47
Предложение ложное в модели      47
Предложение опровержимое      47
Предложение отделяющее теории      105
Предложение позитивное      90
Предложение слабо хорновское      386
Предложение строго хорновское      385
Предложение универсально-экзистенциальное      144
Предложение универсальное      49
Предложение устойчивое относительно фильтрованных произведений      378
Предложение устойчивое относительно фильтрованных сомножителей      386
Предложение хорновское      373
Предложение хорновское специальное      386
Предложение экзистенциально-позитивное      278
Предложение экзистенциальное      49
Принцип максимума Хаусдорфа      557
Произведение (точная нижняя грань) множества      92
Произведение декартово      551 552
Произведение множеств фильтрованное      198
Произведение моделей подпрямое      386
Произведение моделей прямое      208
Произведение моделей фильтрованное      199
Произведение прямое      371
Произведение ультрафильтров      434
Произведение фильтрованных атомов      396 397
Процесс рекурсивный      392
Процесс эффективный      391
Ранг модели      470
Ранг теории      473
Ранг типа      470
Ранг трансцендентности      188
Ранг трансцендентности формулы      468 469
Ранг элемента      470
Распределение переменных      68
Распределение переменных задаваемое отношением      72
Расширение концевое      167
Расширение концевое арифметики Пеано      112
Расширение концевое теории ZF      102
Расширение модели      36
Расширение модели внешнее      282
Расширение модели полное      418
Расширение модели счетно-насыщенное над ней      153
Расширение модели ультрастепенное      248 419
Расширение теории      52
Расширение теории с помощью определений      192
Расширение элементарное      102 129
Реализация транзитивная      65
Релятивизация формулы      280
Росток мероморфной функции      333
Свидетель для теории      78
Свойство ветвления      230
Свойство конечного покрытия      370
Свойство обрыва убывающих цепей      97
Свойство центрированности      62 171
Сегмент начальный      556
Семантика      15
Символ константный (индивидной константы)      32
Символ предикатный      32
Символ предикатный определимый явно с точностью до дизъюнкции      289
Символ предикатный определимый явно с точностью до дизъюнкции и параметров      289
Символ предикатный определимый явно с точностью до параметров      289
Символ функциональный      32
Символы логические      36
Синтаксис      15
Система обратная      282
Система прямая      282
Скулемовское замыкание множества      169
Скулемовское обогащение модели      168
Скулемовское обогащение теории      168
Скулемовское обогащение языка      168
Следствие      118
Следствие высказывания      30
Следствие множества высказываний      25
Следствие множества предложений      47 67
Следствие предложения      47
Совокупность моделей направленная      144
Сомножитель прямой      281
Степень кардинальная ординала $\alpha$ с показателем $\beta$       559
Степень множества фильтрованная      198
Степень прямая существенно конечная      400
Степень фильтрованная      396 397
Степень фильтрованная предельная      429
Степень формулы      468 469
Сумма (точная верхняя грань) множества      92
Сумма ординалов      557
Схема аксиом индукции      58
Схема подстановки      566
Таблица истинности      21
Тавтология      20
Тавтология языка $\mathscr{L}$       38
Теорема Бета      108
Теорема Гёделя о полноте      48 84
Теорема Ершова      410
Теорема Кейслера о сандвиче      270
Теорема компактности      24 48 85 203
Теорема Крэйга интерполяционная      105
Теорема Кьюкера      291
Теорема Лёвенгейма — Скулема — Тарского      85
Теорема Линденбаума      23 40 234
Теорема Линдона интерполяционная      110
Теорема Линдстрёма      136
Теорема Морли о категоричности      466
Теорема Морли об опускании типов      483
Теорема о $\omega$ -полноте      101
Теорема о $\omega$ -полноте обобщенная      24 48 84
Теорема о полноте      21
Теорема о слабой компактности      217
Теорема об опускании типов      99 102 104
Теорема об элементарных цепях      138
Теорема Рамсея      173
Теорема Робинсона о непротиворечивости      109 283
Теорема Роуботтома      515
Теорема Свенониуса      290
Теорема Силвера      518
Теорема Скотта      224
Теорема Скулема о нормальной форме      181
Теорема Тарского      307
Теорема Фрейна      243
Теорема Чэна о двух кардиналах      492
Теорема Чэна — Маккея      294
Теорема Эрдёша — Радо      482
Теории неотделимые      106 111
Теория      25
Теория $\alpha$ -категоричная      454
Теория $\alpha$ -насыщенная      478
Теория $\alpha$ -опускающая множество формул      104
Теория $\alpha$ -реализующая множество формул      104
Теория $\gamma$ -насыщенная      572
Теория $\omega$ -категоричная      123
Теория $\omega$ -непротиворечивая      100
Теория $\omega$ -полная      100
Теория Z-групп      332
Теория атомная      114 461
Теория булевых алгебр      54
Теория булевых алгебр атомных      55
Теория булевых алгебр безатомных      55
Теория групп      55
Теория групп абелевых      56

Теория групп абелевых без кручения      56
Теория групп абелевых без кручения полных      56
Теория групп абелевых экспоненты p      56
Теория допускающая пару $(\alpha, \ \beta)$ , опускающую множество формул      503
Теория допускающая пару кардиналов      158
Теория допускающая тройку кардиналов      502
Теория замкнутая      25 52
Теория имеющая термальные скулемовские функции      169
Теория индуктивного порядка      345
Теория колец коммутативных      56
Теория конечно аксиоматизируемая      25 52
Теория линейного (простого) порядка      53
Теория локально опускающая множество формул      98
Теория локально реализующая множество формул      98
Теория множеств Бернайса — Морса      568
Теория множеств Цермело Z      566
Теория множеств Цермело — Френкеля без аксиомы степени ZF — P      567
Теория моделей бесконечных      62
Теория модели      52
Теория модельно полная      133
Теория нестабильная      477
Теория областей целостности      57
Теория первого порядка      52
Теория плотного линейного порядка      53
Теория плотного порядка без концевых точек      54
Теория подмодельно полная      145
Теория полей      57
Теория полей алгебраически замкнутых      57
Теория полей вещественно замкнутых      57
Теория полей упорядоченных      57
Теория полей характеристики p      57
Теория полей характеристики нуль      57
Теория полная      31 52
Теория скулемовская      168
Теория стабильная      477
Теория стабильная в мощности $\alpha$       457
Теория суперстабильная      477
Теория типа      118
Теория тотально трансцендентная      473
Теория устойчивая относительно гомоморфизмов      147
Теория устойчивая относительно объединений цепей      147
Теория устойчивая относительно пересечений      28
Теория устойчивая относительно подмоделей      147
Теория функции следования      77
Теория частичного порядка      53
Теория чисел (арифметика Пеано)      58
Теория чисел аддитивная      59
Теория чисел полная      58
Терм      36
Тест Лося — Вота      135
Тип      97
Тип n-ки      97
Тип алгебраический над множеством      468
Тип порядковый      555
Тип последовательности элементов      118
Тип теории      118
Тотально неразличимое подмножество      467
Точная верхняя грань      554
Точная нижняя грань      554
Тройка $\varkappa$ -совместная      358
Ультрапроизведение множеств      198
Ультрастепень множества      198
Ультрастепень множества итерированная      437
Ультрастепень модели итерированная      437
Ультрастепень предельная      422 423
Ультрафильтр      63
Ультрафильтр $\alpha$ -полный по убыванию      245
Ультрафильтр $\alpha$ -хороший      350
Ультрафильтр над множеством      171 196
Ультрафильтр неглавный      171
Ультрафильтр нормальный      225
Ультрафильтр сохраняющий произведение      93
Ультрафильтр сохраняющий сумму      93
Универсум конструктивный      531
Универсум модели      33
Упорядочение линейное      552
Упорядочение частичное      552
Утверждение арифметическое      381
Факторалгебра      336
Фильтр      62
Фильтр $\alpha$ -полный      211
Фильтр $\alpha$ -регулярный      235
Фильтр главный      63 194
Фильтр над множеством      194
Фильтр неразложимый      452
Фильтр несобственный      194
Фильтр однородный      239
Фильтр порожденный множеством      195
Фильтр собственный      194
Фильтр счетно-неполный      235
Фильтр тривиальный      194
Фильтр Фреше      194
Форма нормальная негативная      110
Формула      37
Формула абсолютная для транзитивного класса      533
Формула алгебраическая (ранга трансцендентности нуль)      468
Формула алгебраическая в теории      500
Формула алгебраическая неприводимая над множеством      468
Формула атомная      36
Формула базисная      67
Формула негативная      272
Формула непополнимая      114
Формула неприводимая над множеством      470
Формула ограниченная      534
Формула определимая      388
Формула определимая последовательностью формул      388
Формула открытая      68
Формула позитивная      150
Формула полная      114 461
Формула пополнимая      114 461
Формула равенства      38
Формула совместимая с теорией      97
Формула существенно экзистенциальная      283
Формула устойчивая относительно гомоморфизмов      151
Формула хорновская      373
Формула хорновская базисная      373
Формула хорновская строго базисная      385
Формулы $\Sigma$ -эквивалентные      67
Функция аддитивная      349
Функция монотонная      349
Функция определимая      430 433
Функция просеивающаяся      444
Функция ранга      560
Центрированность      62 171
Цепи изоморфные      552
Цепь      552
Цепь вполне упорядоченная      552
Цепь моделей      136
Цепь моделей специальная      253
Цепь моделей элемантарная      137
Цепь ультрастепенная      248
Челночная конструкция      115
Число Мало      232
Число Морли      501
Число Ханфа      501
Эквивалентность (семантическая) высказываний      30
Эквивалентность по модулю      437
Элемент алгебраический      500
Элемент алгебраический над множеством      468
Элемент алгебраический над подполем      305
Элемент бесконечного порядка (в абелевой группе)      96
Элемент булевой алгебры атомный      335
Элемент булевой алгебры безатомный      335
Элемент модели арифметики Пеано нестандартный      96
Элемент модели определимый      50 193
Элемент поля алгебраический над подполем      305
Элемент поля степени n над подполем      309
Элемент поля трансцендентный (бесконечной степени) над подполем      309
Элемент поля упорядоченного положительно бесконечный      96
Элементы модели неразличимые      174

1 2 3

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте