Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей

Барвайс Д. — Справочная книга по математической логике. Часть 1: теория моделей

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

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

Название: Справочная книга по математической логике. Часть 1: теория моделей

Автор: Барвайс Д.

Аннотация:

Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

Язык:

Рубрика: Математика/Справочники/

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

ed2k: ed2k stats

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

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

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

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

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

$(\varphi, x)$ -ранг Шелаха      342
$(\varphi, x, 2)$ -дерево высоты $\alpha$       341
$EC_{\Delta}$ -класс      30 58
$L_{\infty \omega}$ -эквивалентность      101
$\Delta$ -неразличимая последовательность      327
$\Delta$ -неразличимое множество      327
$\Delta$ -предикат      243
$\Delta^1_1$ -класс      256
$\Delta_0$ -формула      240
$\eta_{\alpha}$ -множество      81 132
$\forall\exists$ -теория      62
$\forall_n$ -отображение      145
$\mu$ -спектр      328
$\omega$ -логика      51 189
$\omega$ -модель      84
$\Pi$ -предикат      243
$\Pi$ -формула      242
$\Pi^1_1$ -класс      256
$\Sigma$ -предикат      243
$\Sigma$ -формула      242
$\Sigma^1_1$ -класс      256
$\upsilon^{*}$ -алгебра      353
EC-класс      30
h-компаньон      362
L-определимый кардинал      378
m-многообразие      220
N-окрестность      334
P-интерпретация      327
S-непрерывность      216
Абсолютность $\Delta$ формул      244
Абсолютность $\Delta_0$ -формул      241
Аксиома Архимеда      19 204
Аксиома объемности      23
Аксиомы Генкина      38
Аксиомы равенства      37 47
Алгебра генерическая      294
Алгебра свободная      293
Алгебраическая система $(\lambda,1)$ -простая      347
Алгебраическая система $\lambda$ -компактная      346
Алгебраическая система $\lambda$ -простая      346
Алгебраическая система $\varkappa$ -насыщенная      369
Алгебраическая система N*-однородная      371
Алгебраическая система жесткая      374
Алгебраическая система локально конечная      353
Алгебраическая система насыщенная      369
Алгебраическая система однородная      371
Алгебраическая система почти категоричная      381
Алгебраическая система топологизируемая      374
Алгебраические системы $\varkappa$ -почти изоморфные      379
Аппроксимации конъюнктивных игровых формул      263
База теории сильная      350
База форсинга      103
Вектор кривизны      226
Вектор почти стандартный      218 220
Вещь      202
Вложение      112 316
Вложение изоморфное      61
Вложение элементарное      61
Выполнимость формулы      75
Выражение      26
Галактика      206
Гомоморфизм      112
График      334
Группа абелева      15 290
Группа абелева полная      15
Группа универсальная локально конечная      192
Группа экзистенциально замкнутая      170
Диаграмма      65
Диаграмма базисная      65
Диаграмма конечная      326
Диаграмма элементарная      65
Закон двойного отрицания      33
Закон де Моргана      33
Закон исключенного третьего      33
Закон противоречия      33
Законы Лейбница      37
Идеал      21
Идеал максимальный      22
Идеал простой      21
Изоморфизм      61 112
Изоморфизм частичный      101
Интеграл Римана      215
Интерпретация      28 327
Интерпретация Лейбница      214
Интерпретация относительная      292 296
Категория T-алгебр      291
Категория T-моделей      291
Категория атрибутов      299
Категория значений      291
Категория логическая      301
Категория моделей      296 303
Квазимногообразие      351
Квазимногообразие стандартное      358
Квазимногообразие стандартное характеристики X      356 357
Квантор Хэртига      378
Кванторы обобщенные      100
Класс алгебраических систем аксиоматизируемый      30 58 116 323
Класс алгебраических систем категоричный      323
Класс алгебраических систем конечно аксиоматизируемый      30 123 367
Класс алгебраических систем локальный      69
Класс алгебраических систем модельно полный      323
Класс алгебраических систем полный      323
Класс алгебраических систем псевдоэлементарный      120
Класс алгебраических систем свободный      353
Класс алгебраических систем строго свободный      353
Класс алгебраических систем элементарный      30 58 116
Классы алгебраических систем P-эквивалентные      328
Классы алгебраических систем рационально эквивалентные      328
Кольцо      20
Кольцо главных идеалов      22
Кольцо коммутативное      20
Кольцо простое      127
Компаньон модельный      156
Константы Генкина      36
Константы-свидетели      38
Кривизна полная      230
Кривые соприкасающиеся      224
Критерий      72
Критерий модельной полноты      148
Критерий полноты      73
Лемма Мостовского о сжатии      249
Лемма об усечении      250
Логика      31 53 120
Логика бесконечная      52
Логика многосортная      50
Логика первого порядка      25
Логика слабая второго порядка      51
Локализация      304
Локализация конечного покрытия      306
Мера кривизны      230
Место      304
Метод альтернативных цепей      70
Метод челночный      77
Микроскоп инфинитезимальный      205
Многообразие      351
Множество алгебраически независимое      327
Множество аналитическое      257
Множество атомов      202
Множество борелевское      257
Множество в полной теории      324
Множество внешнее      207
Множество внутреннее      201
Множество внутреннее для модели      270
Множество генерическое      96 103
Множество допустимое      241
Множество наследственно конечное      51
Множество независимое      340
Множество однородное      184 185 194 195
Множество однородное для разбиения      195
Множество относительно формульное      324

Множество стандартное      206
Множество транзитивное      315
Множество формул в T над X      325
Множество формул совместное в T      325
Множество Хинтикки      252
Модель      84
Модель T-генерическая      97
Модель базисно насыщенная      81
Модель большая      76
Модель булевой элементарной экзистенциальной доктрины      300
Модель генерическая      97
Модель малая      76
Модель насыщенная      137
Модель простая      85
Модель разрешимая      24
Модель рекурсивно насыщенная      76
Модель скулемовская      187
Модель экзистенциально замкнутая      97 159
Монада      218
Монада относительная      218
Мономорфизм элементарный      188
Морфизм      144
Морфизм алгебраических теорий      292
Морфизм арифметического универсума      314
Морфизм геометрический      306
Морфизм логический      302
Морфизм мест      306
Морфизм моделей      296
Морфизм элементарный      144
Непрерывность равномерная      209
Неравенство над $\mathfrak{A}$       125
Носитель универсума      239
Обеднение алгебраической системы      38 119
Область целостности      23
Обогащение алгебраической системы      38 119
Обогащение алгебраической системы главное      326
Обогащение алгебраической системы диаграммное      64
Обогащение алгебраической системы морлиевское      64
Обогащение алгебраической системы несущественное      326
Обогащение алгебраической системы скулемовское      64
Оболочка системы допустимая      248
Образ гомоморфный      78
Объект поля      312
Объект транзитивных множеств      316
Однородное $\omega$ -дерево      347
Операция A-рекурсивная      243
Ординал допустимый      249
Ординал стабильный      249
Отношение антисимметричное      194
Отношение выполнимости      28
Отношение связное      194
Отношение фундированное      311
Отображение внутреннее линейное      218
Отображение элементарное      65 145
Оценка истинности      32
Переменная свободная      27
Подмножество арифметическое      256
Подсистема      60 186
Подсистема конечно порожденная      60
Подсистема элементарная      60 186 187
Подсистема, порожденная множеством X      60
Покрытие локальное      124
Поле      22
Поле алгебраически замкнутое      23
Поле нормированное      136
Поле нормированное псевдополное      136
Поле псевдоконечное      124
Поле сепарабельное замкнутое      154
Поле характеристики 0      22
Поле характеристики p      22
Пополнение модельное      156
Порядок линейный однородный      72
Последовательность Коши      137
Последовательность Морли      338
Правило обобщения      43
Правило сечения      47
Праэлементы      239
Предикат A-рекурсивно перечислимый      243
Предикат A-рекурсивный      243
Предложение      28
Предтопос      303
Принцип $\Delta$ -выделения      243
Принцип $\Sigma$ -замещения      244
Принцип $\Sigma$ -рекурсии      245
Принцип $\Sigma$ -рефлексивности      242
Принцип TC-индукции      245
Принцип Коши      214
Принцип Лейбница      199 212 216
Произведение фильтрованное      113
Производная Кантора — Бендиксона      90
Пространство стоуновское      66 90 93
Псевдопредел      137
Пучок      304
Ранг Кантора — Бендиксона      90
Ранг по Морли      89 93 336
Расширение главное      326
Расширение консервативное      63
Расширение концевое      250
Расширение несущественное      326
Расширение простое модельное      165
Расширение свидетельское      38
Расширение элементарное      60
Свойство амальгамируемости      67 68
Свойство конечных пересечений      110
Свойство независимости      342
Свойство порядка      342
Свойство совместного вложения      80
Свойство строгого порядка      242
Свойство форсинговое      103
Секвенция      45
Семантика      53
Синтаксис      53
Система $(\varkappa,L)$ -однородная      381
Система K-свободная      325
Система T-экзистенциально универсальная      163
Система аксиом Крипке — Платека      241
Система алгебраическая      25
Система алгебраическая $\varkappa$ -насыщенная      82
Система алгебраически замкнутая      125
Система каноническая      39
Система насыщенная      82 137 369
Система простая      126
Система рекурсивно насыщенная      76
Система фундированная      249
Система экзистенциально замкнутая      125
Система экзистенциально полная      125
Системы элементарно эквивалентные      58
Спектр базисной стабильности      92
Спектр грубый      328
Спектр категоричности      354
Спектр класса      328
Спектр свободы      354
Спектр теории      94 328
Степень M      128
Степень по Морли      337
Суперсистема      201 207
Сфера соприкасающаяся      227
Тавтология      32 33
Тезис Гильберта      49
Телескоп бесконечный      205
Теорема Барвайса о $\Sigma$ -компактности      254
Теорема Барвайса об абстрактной полноте      267
Теорема Бета об определимости      280
Теорема Воота о дескриптивных множествах      264
Теорема Воота о счетной насыщенной модели      83
Теорема единственности для простых моделей      86
Теорема интерполяционная Крейга      78
Теорема интерполяционная Крейга — Лопес-Эскобара сильная      277
Теорема компактности Гёделя — Мальцева      17 34
Теорема компактности для логики высказываний      34

1 2

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте