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

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

blank
blank
blank
Красота
blank
Сакс Дж.Е. — Теория насыщенных моделей
Сакс Дж.Е. — Теория насыщенных моделей



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



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


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

Автор: Сакс Дж.Е.

Аннотация:

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


Язык: ru

Рубрика: Математика/Алгебра/Математическая логика/

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$p-mod (a_1, \cdots, a_n)$-размерность      157
$\omega$-логика      84
$\omega$-система      84
(p-mod q)-размерность      157
A-ранг      139
n-тип      45
n-тип главный      59
P-базис      149
p-размерность      150
Z-группа      58
Абсолютность      9
Автоморфизм      16
Автоморфизм элементарный частичный      66
Алгебраическая замкнутость      121
Алгебраическая независимость      149
Алгебраическая система      14
Алгебраическая система $\varkappa$-насыщенная      47
Алгебраическая система алгебраически замкнутая      121
Алгебраическая система атомная над $\mathfrak U$      116
Алгебраическая система над $\mathfrak U$      121
Алгебраическая система насыщенная      47
Алгебраическая система насыщенная надY      47
Алгебраическая система однородная      66
Алфавит      16
Атом      60
Базис теории      114
Вложение      16
Диаграмма      13 14
Диаграмма алгебраической системы      26
Дифференциальный многочлен      168
Дифференциальный многочлен неприводимый      176
Замыкание дифференциальное      174
Замыкание дифференциальное минимальное над $\mathfrak U$      176
Замыкание универсальное      19
Изоморфизм      16
Изоморфизм над $\mathfrak U$      95 114
Изоморфизм частичный      70
Изоморфизм частичный непосредственно доопределимый      70
Кардинал      13
Кардинал регулярный      13
Кардинал сингулярный      13
Категория      91
Категория замкнутая относительно пределов счетных прямых систем      106
Компактность      24
Композиция морфизмов      91
Логические связки      16
Логическое следствие      20
Минимальный порождающий      148
Множество $\omega$-совместное      85
Множество n-мерное комплексное алгебраическое      44
Множество алгебраически независимое      149
Множество направленное      32
Множество непротиворечивое      21
Множество неразличимое в $\mathfrak U$      129
Множество открыто-замкнутое      96
Множество совместное      21
Множество совместное с T      45
Множество счетное      13
Множество упорядоченно неразличимое      125
Модель      21
Модель атомная      72
Модель минимальная      74
Модель простая      72
Модель слабо насыщенная      71
Модель специальная      66
Модельное пополнение      38
Модельное расширение цепи      122
Мономорфизм      15
Мономорфизм элементарный      19
Морлизация      146
Морфизм      91
Морфизм тождественный      91
Мощность      13
Мощность алгебраической системы      15
Мощность языка      18
Неглавный минимальный порождающий      156
Носитель      14
Обратная система      92
Общее решение      168
Опускание типа      59
Ординал      13
Ординал предельный      13
Ординал рекурсивный в $\mathfrak U$      111
Отношение n-местное      14
Отношение антисимметричное      130
Отношение называющее      81
Отношение определимое      130
Отношение связанное      130
Отношение следования      20
Отображение непосредственно доопределимое      66
Пара Бота      78 160
Перемена кванторов      31
Переменная      16
Переменная свободная      17
Плотность n-типов      74
Подкатегория      93
Подкатегория автономная      104
Подкатегория плотная      106
Подкатегория полная      93
Подмножество выделенное      75
Подсистема      16
Подсистема элементарная      20
Поле      25
Поле алгебраически замкнутое      29
Поле атомное над $\mathfrak U$      175
Поле вещественно замкнутое      57
Поле дифференциально замкнутое      169
Поле дифференциальное характеристики      0 167
Порядок $\varkappa$-плотный      48
Порядок дифференциального многочлена      168
Порядок линейный      48
Порядок плотности      113
Порядок плотный      48
Порядок упорядочение неразличимый      125
Последователь      13
Последовательность Морли      132
Правило ранта      102
Правило степени      103
Предел обратный      92
Предел прямой      32 92
Предикат      14
Предложение      18
Предложение истинное      19
Предложение ложное      19
Предметная константа      17
Принцип элементарных цепей      34
Производная Кантора — Бендиксона      97
Производная Морли      99
Производная Морли $\alpha$      101
Простое расширение Морли      118
Прямая система      32
Прямая система в категории      91
Прямая система счетная      106
Размерность      166
Ранг 1-типа      107
Ранг Каптора — Бендиксона      98
Ранг множества      139
Ранг модели      177
Ранг Морли      110
Ранг ординальный      139
Ранг последовательности      132
Ранг пренексной нормальной формулы      31
Ранг элемента в модели      162
Расширение      16
Расширение алгебраическое над $\mathfrak U$      121
Расширение атомное      116
Расширение минимальное модельное      121
Расширение Морли      118
Расширение нормальное      176
Расширение простое      54 95
Расширение простое дифференциально замкнутое      174
Расширение простое модельное      114
Расширение простое собственное элементарное      151
Расширение собственное элементарное      20
Расширение теории главное      155
Расширение теории конечно порожденное      148
Расширение цепи модельное      122
Расширение цепи простое модельное      122
Расширение элементарное      20
Расширения изоморфные над $\mathfrak U$      95
Реализуемость      19
Реализуемость n-типа      46
Реализуемость одинаковых n-типов      68
Свойство K      87
Сигнатура      14
Система R-насыщенная      80
Система алгебраическая      14
Система атомная над $\mathfrak U$      116
Система конечно порожденная      107
Система конечно порожденная над $\mathfrak U$      108
Система минимальная над $\mathfrak U$      121
Система нормальная над $\mathfrak U$ в $\mathfrak E$      119
Система нулевая      148
Система обратная      92
Система однородная      66
Система простая по Морли над $\mathfrak U$      118
Система прямая      32
Система прямая в категории      91
Сколемизация алгебраической системы      37
Сколемизация теории      36
Сколемизация языка      36
Сколемовская оболочка      37
Совершенное ядро      98
Соглашение о подсистемах      131
Соглашение о счетности      44
Степень дифференциального многочлена      168
Степень последовательности      132
Степень рангованной точки      103
Счетная прямая система      106
Теорема Рамсея      125
Теория      23
Теория $DCF_0$      169
Теория $DF_0$      167
Теория $H_{(p,0)}$      179
Теория $VF_{(p,0)}$      179
Теория $\varkappa$-категоричная      61
Теория $\varkappa$-стабильная      63
Теория ACF      29
Теория DL0      39
Теория LO      39
Теория OF      56
Теория p-адических гензелевых полей      179
Теория p-нормированных полей характеристики 0      179
Теория RCF      57
Теория TF      25
Теория алгебраически замкнутых полей      29
Теория алгебраической системы      23
Теория вещественно замкнутых полей      57
Теория дифференциально замкнутых полей      169
Теория дифференциальных полей характеристики 0      167
Теория дифференциальных полей характеристики p      172
Теория квазитотально трансцендентная      112
Теория линейного порядка      39
Теория модельно полная      26
Теория плотного линейного порядка      39
Теория подмодельно полная      41
Теория полей      25
Теория полная      23
Теория стабильная      178
Теория суперстабильная      178
Теория тотально трансцендентная      112
Теория универсальная      31
Теория универсально экзистенциальная      30
Теория упорядоченных полей      56
Теория, имеющая конечный базис      114
Терм      17
Терм константный      17
Тип главный      59
Тип двукардинальный      75
Тип минимальный порождающий      148
Тип подобия      14
Тип элемента      45
Точка изолированная      97
Точка предельная      97
Точка ранга $\alpha$      102
Точка рангованная по Морли      102
Точка расщепляемая      107
Универсальная область      108
Фильтрация      91
Фильтрация с объединением      91
Финитарный характер      20
Формула      17
Формула атомная      17
Формула бескванторная      18
Формула истинная      19
Формула пренексная нормальная      30
Формула совместная с T      45
Формула универсальная      31
Формула универсально экзистенциальная      30
Формула экзистенциальная      26
Функтор контравариантный      93
Функтор тотально трансцендентный      103
Функтор, сохраняющий пределы      93
Функция      15
Цепь      34
Цепь элементарная      34
Эквивалентность формул      45
Элемент алгебраический над X      148
Элемент выделенный      15
Элемент дифференциально-алгебраический      168
Элемент дифференциально-трансцендентный      168
Элементарная цепь      34
Элементарная эквивалентность      19
Элементы неразличимые      129
Элементы неразличимые над Y      131
Элементы упорядоченно неразличимые      125
Элементы упорядоченно неразличимые над Y      131
Элиминация кванторов      36
Эндоморфизм      16
Язык $\omega$-логики      84
Язык первого порядка      16
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте