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

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

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



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



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


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

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

Аннотация:

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


Язык: ru

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

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(\alpha)$-последовательность      557
$(\alpha, \ \beta)$-модель      158 240
$\eta_{\alpha}$-множество      303
$\omega$-лигика      101
$\omega$-модель      100 487
$\omega$-правило      101
$\Pi_{n}^{0}$-предложение      140
$\Pi_{n}^{0}$-формула      140
$\rho_{0}$-кардинал      529
$\rho_{n+1}$-кардинал      529
$\Sigma_{n}^{0}$-предложение      140
$\Sigma_{n}^{0}$-расширение      140
$\Sigma_{n}^{0}$-формула      140
$\Sigma_{n}^{0}$-цепь      140
(n+1)-предельная точка      345
1-предельная точка      345
1-сандвич      267
n-ка упорядоченная      551
n-местное      551
n-сандвич      268
T-расширение      136
V-релятивизация формулы      567
Автоморфизм изотонный      174
Аксиома бесконечности      565
Аксиома выбора      557 566
Аксиома выделения      568
Аксиома конструктивности      224
Аксиома объединения      565
Аксиома объемности      565 567
Аксиома пар      565
Аксиома подмножеств      565
Аксиома подстановки      568
Аксиома пустого множества      565
Аксиома регулярности      565 568
Аксиома семейств      565
Аксиома степени      565
Аксиома универсального класса      568
Аксиомы кванторов      39
Аксиомы логические      38
Аксиомы предложений      38
Аксиомы равенства      39
Алгебра Йонссона      524
Алгебра Линденбаума      63
Алгебра Линденбаума предложений      64
Алгебра Линденбаума теории      92
Арифметика Пеано (теория чисел)      58
Арифметика теоретико-множественная      567
Атом      461
Атом булевой алгебры      55
Атомный элемент      335
Базис трансцендентности      181
Бит элементов булевой алгебры      341
Булева алгебра атомная      55
Булева алгебра безатомная      55
Булева алгебра нетривиальная      335
Булева алгебра тривиальная      335
Булевы алгебры подобные      342
Ветвь      230
Вложение естественное      205 450
Вложение изоморфное      36
Вложение изотонное      174
Вложение полное      418
Вложение элементарное      116
Вполне-упорядочение      552
Вполне-упорядочение строгое      552
Вхождение символа негативное      109
Вхождение символа позитивное      109
Вывод высказывания      22
Вывод формулы из множества предложений      39
Выводимость с помощью правила отделения      22
Выполнимость формулы в модели      44
Выполнимость формулы на последовательности      42
Высказывание      17
Высказывание выполнимое      30
Высказывание истинное      20
Высказывание истинное в модели      20
Высказывание ложное в модели      20
Высказывание позитивное      26
Высказывание условное      27
Высказывание, выводимое из $\Sigma$      22 39
Высказывание, выполняющееся в модели      20
Высказывание, не выполняющееся в модели      20
Высказывания эквивалентные      30
Гензелизация      315
Гипотеза Артина      330
Гипотеза о недостижимости      563
Гипотеза об n-разрыве      496
Гипотеза Чэна      160
Гомоморфизм модели      89
Гомоморфизм строгий      281
Гомоморфный образ модели      89
Грань верхняя точная      554
Грань нижняя точная      554
Группа абелева периодическая      96
Группа значений      311
Группа значений замкнутая относительно корней      315
Действие      433
Дерево      230
Дерево Курепы      246
Диаграмма модели      86
Диаграмма модели позитивная      88
Диаграмма элементарная      130
Замыкание алгебраическое относительное      315
Замыкание вещественное      306
Замыкание множества скулемовское      169
Замыкание подполя алгебраическое относительное      306
Значение высказывания при интерпретации      20
Значение терма      42
Идеал булевой алгебры      335
Идеал булевой алгебры главный      336
Изоморфизм      555
Изоморфизм моделей      35
Инвариант булевой алгебры      338
Индукция трансфинитная      555
Интерполянт Крэйга      105
Интерпретация      20
Интерпретирующее отображение      34
Истинность      13
Кардинал $\Pi_{n}^{m}$-неопределимый      233
Кардинал (мощность)      558
Кардинал (мощность) модели      35
Кардинал (мощность) языка      33
Кардинал измеримый      214
Кардинал недостижимый      563
Кардинал неопределимый      234
Кардинал предельный      559
Кардинал Рамсея      509
Кардинал регулярный      562
Кардинал Роуботтома      516
Кардинал сильно компактный      231
Кардинал сингулярный      562
Кардинал слабо компактный      218
Кардинал строго предельный      559
Квантор ограниченный      534
Класс моделей $\alpha$-категоричный      478
Класс моделей замкнутый относительно объединений вполне упорядоченных цепей      144
Класс моделей замкнутый относительно объединений направленных множеств моделей      144
Класс моделей замкнутый относительно ультрапроизведений      204
Класс моделей замкнутый относительно элементарной эквивалентности      204
Класс моделей компактный      416
Класс моделей относительно компактный      247
Класс моделей псевдоэлементарный      209
Класс моделей элементарный      204
Класс моделей элементарный базисный      204
Кольцо нормирования      313
Комбинация булева      67
Конкатенация      557
Конструкция челночная      115
Континуум-гипотеза      559
Континуум-гипотеза обобщенная      559
Конфинальность ординала      562
Лемма Гензеля      314
Лемма Цорна      557
Метод диаграмм      86
Множество $\varphi$-определимое      370
Множество аксиом      25
Множество аксиом для двухкардинальных моделей      505
Множество аксиом теории      52
Множество высказываний выполнимое      23
Множество высказываний категоричное в мощности $\alpha$      14
Множество высказываний конечно выполнимое      24
Множество высказываний монотонное      26
Множество высказываний независимое      31
Множество высказываний непротиворечивое (совместное)      22
Множество высказываний непротиворечивое максимальное      22
Множество высказываний противоречивое (несовместное)      22
Множество высказываний устойчивое относительно конечных пересечений      27
Множество высказываний устойчивое относительно произвольных пересечений      27
Множество замкнутое      232
Множество конструктивное      531
Множество конфинальное      562
Множество неограниченное      232
Множество определимое в модели      65
Множество предложений непротиворечивое (совместное)      40
Множество предложений непротиворечивое максимальное      40
Множество предложений противоречивое (несовместное)      40
Множество предложений, выполняющееся (реализуемое) в модели на последовательности      95
Множество свидетелей      78
Множество формул автономное      394
Множество формул неявно определяющее отношение      107
Множество формул самоопределяющееся      394
Множество формул совместимое с теорией      97
Множество формул явно определяющее отношение      107
Модели изоморфные      35
Модели эквивалентные      48
Модели элементарно эквивалентные      47
Модель $\alpha$-насыщенная      250
Модель $\alpha$-однородная      255
Модель $\alpha$-подобная      528
Модель $\alpha$-стандартная      500
Модель $\alpha$-универсальная      242 255
Модель $\omega$-насыщенная      117
Модель $\omega$-однородная      154
Модель $\omega_{1}$ вполне упорядоченная      528
Модель n-прослоенная      268
Модель алгебраически замкнутая      136
Модель атомная      114
Модель атомная относительно класса моделей      255
Модель вполне упорядоченная      146
Модель вполне упорядоченная по типу $\alpha$      506
Модель высказывания      20
Модель двухкардинальная      504
Модель для $\mathscr{S}$      17
Модель жесткая      571
Модель Йонссона      505
Модель конечно порожденная      91
Модель минимальная      280
Модель множества высказываний      23
Модель насыщенная      250
Модель натуральная      61
Модель нестандартная      58
Модель однородная      255
Модель опускающая множество предложений      96
Модель построенная из множества констант      84
Модель предложения      47
Модель прослоенная      267
Модель простая      116 463
Модель слабо однородная      262
Модель специальная      253
Модель стандартная      58
Модель счетно-насыщенная      117
Модель счетно-однородная      154
Модель счетно-простая      116
Модель счетно-универсальная      121
Модель транзитивная      61
Модель универсальная      255
Модель языка $\mathscr{L}$      34
Модус поненс (правило отделения)      22 39
Мощность (кардинал)      558
Мощность модели      35
Мощность языка      33
Неразличимость      174
Нестандартный анализ      88
Нормирование      311
Нормирование p-адическое      328
Обеднение модели      35
Обеднение языка      33
Обогащение модели      34
Обогащение модели скулемовское      168
Обогащение теории скулемовское      168
Обогащение языка      33
Обогащение языка простое      33
Обогащение языка скулемовское      168
Объединение множества моделей      281
Объединение моделей      143
Объединение цепи моделей      136
Ограничение теории      52
Ограничение функции      552
Операция n-арная      552
Ординал      552
Ординал конечный (натуральное число)      554
Ординал начальный      558
Ординал предельный      554
Ординал фундированной модели      223
Ординал-последователь      554
Относительное алгебраическое замыкание      315
Отношение антисимметричное      552
Отношение конгруэнтности      81
Отношение направленное      144
Отношение рефлексивное      552
Отношение связное      552
Отношение симметричное      552
Отношение транзитивное      552
Отношение фундированное (со свойством обрыва убывающих цепей)      223
Отношение эквивалентности      552
Отношение эквивалентности определенное элементом      422
Отношения соответствующие      34
Отображение интерпретирующее      34
Пара совместная      352
Пара упорядоченная      551
Пересечение диагональное      233
Перечисление      557
Периодическая абелева группа      96
Подмножество модели тотально неразличимое      467
Подмножество наследственное      301
Подмножество определимое      433 531
Подмножество трансцендентное (алгебраически независимое) над подмножеством      309
Подмодель      36
Подмодель $\beta$-насыщенная относительно модели      482
Подмодель порожденная множеством      50
Подмодель элементарная      102 129
Подполе нормированное      314
Подполе относительно алгебраически замкнутое      315
Подтеория      52
Поле p-адических чисел      328
Поле Z-нормированное      332
Поле гензелево      313
Поле множеств      55
Поле нормированное      311
Поле нормированное ранга 1      333
Поле упорядоченное архимедово      88
Поле формальных степенных рядов      313
Полугруппа      530
Понятие истинности      13
Пополнение модели      418
Пополнение поля нормированного      312 313 333
Порядковый тип фундированной модели      224
Порядок ветви      230
Порядок дерева      230
Порядок частичный со свойством обрыва убывающих цепей      97
1 2 3
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте