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

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$\alpha *$ -конечность      144
$\alpha$ -вычислимость      141
$\alpha$ -конечность      139
$\alpha$ -р. п. степень      149
$\alpha$ -рекурсивность относительная      141
$\alpha$ -рекурсивность слабая      142
$\alpha$ -сводимость      140
$\alpha$ -степень      142
$\Delta_2^1$ -ординал      257
$\Delta_n$ -класс      41
$\Delta_n^1$ -класс      42
$\Gamma$ -норма      186 251
$\mathfrak G$ -группа      309
$\omega$ -правило      237
$\Phi$ -доказательство      227 232
$\Phi$ -индукция      227
$\Phi$ -ядро      274 275
$\Pi_1^1$ -класс      42
$\Pi_n$ -класс      40
$\Pi_n^1$ -формула      240
$\sigma$ -кольцо эффективное      238
$\Sigma^1_n$ -формула      240
$\Sigma_1 (\mathfrak A)$ -множество правил      242
$\Sigma_1$ -множество правил      260
$\Sigma_1$ -формула      260
$\Sigma_2$ -кофинальность      147
$\Sigma_n$ -класс      40
$\Sigma_n^1$ -класс      42
$\varphi$ -доказательство      231
$\varphi$ -квазидоказательство      261
A-правило      242
A–множество      43
k-класс точечный      214
k-оболочка      214
k-сечение      214
L-группа разложений гомоморфизма      333
m-сводимость кратная      272
n-страт Галуа      332
P-базис      328
Q-правило      256
s-m-n-теорема      26 191 200
s-m-n-функция      191
Алгоритм      10
Алгоритм разрешающий      77
Алфавит      55
Аналог машины Тьюринга      136
Аналог теоремы Чеботарева о плотности      303 304
Арифметика второго порядка      121
Арифметика Пресбургера      85 88
Вычисление детерминированное      107
Вычисление значения объекта      195
Вычисление недетерминированное      107
Вычислимость относительная      22
Гензелизация      349
Гипотеза Роджерса      119
Гомеоморфизм множеств рекурсивный      129
Гомоморфизм      277
Грамматика двусмысленная      66
Грамматика контекстно свободная      66
Грамматика фразовая структурная      65
Группа Галуа поля      301
Группа допустимая      310
Группа конечно представимая      61
Группа нормирования      348
Группа проконечная проективная      301
Группа проконечная финитно проективная      301
Группа рекурсивно представимая      61
Дерево      98
Дерево фундированное      232
Длина дерева      232
Длина нормы      251
Длина слова      104
Доказательство      29
Доказательство приоритетное      142 152
Дополнение степени относительное      128
Зависимость эффективная алгебраическая      280
Заключение      65 226
Игра      233
Игра Гейла — Стюарта      123
Игрок      233
Идеал      116
Иерархия аналитическая      42
Иерархия арифметическая      40
Индекс функции      20 187
Индукция немонотонная      257
Индукция позитивная элементарная      249
Инструкция      10 12
Итерация операции скачка      124
Категория нумерованных множеств      271
Квантор всеобщности      180
Квантор дуальный      180 255
Квантор игровой      255
Квантор монотонный      255
Квантор на множестве      179 255
Квантор нетривиальный      255
Квантор ограниченный      240
Квантор Суслина      180
Квантор существования      180
Класс $\omega$ -параметризованный      215
Класс групп инвариантный      62
Класс групп наследственный      62
Класс групп нетривиальный      62
Класс замкнутый      186 215
Класс клиниевский      194
Класс конечных групп допустимый      306
Класс конструктивных моделей слабо вычислимый      278
Класс нормированный      215 251
Класс предикатов спекторовский      253
Класс предикатов типовой немонотонный      259
Класс функционалов вычислимый      273
Класс функционалов конечно порожденный      189
Класс функционалов нормальный      199
Класс функционалов подходящий      169
Класс функционалов, допускающих кодирование      188
Код функции      187
Кодирование кортежей      187
Кольцо гензелево      348
Компаньон      263
Композиция      170
Конструктивизации автоэквивалентные      279
Конструктивизации эквивалентные      279
Конфигурация      18 53
Конфигурация остановки      18
Кооднородность конечная      314
Коранг      326
Корень дерева      232
Корень идеала      334
Лемма Гашюца      306
Лемма о совместной индукции      172
Лемма о числовом селекторе      192
Лента      12
Машина Тьюринга      12
Машина Тьюринга универсальная      18
Местность      202
Метод интерпретаций      94
Метод переноса индексов      209 211
Метод приоритета      37 126
Метод приоритета «с бесконечными нарушениями»      120
Метод элиминации кванторов      85
Минимизация      171
Много-односводимость      27
Множество $\alpha$ -конечное      138 139
Множество $\alpha$ -рекурсивно перечислимое      137 139
Множество $\alpha$ -рекурсивное      137 139
Множество аналитическое      39 43
Множество арифметическое      39
Множество диофантово      68
Множество индуктивно определенное      226 229 230
Множество корекурсивно перечислимое      128
Множество корекурсивно перечислимое относительно степени      129

Множество креативное      36
Множество линейно упорядоченное      85
Множество максимальное      127
Множество морфизмов      271
Множество натуральных чисел      10 114 136
Множество независимое      116
Множество нетривиальное      69
Множество нормированное      186
Множество нумерованное      270
Множество определимое      38
Множество полуразрешимое      23
Множество полурекурсивное      24
Множество посылок      226
Множество правил $\Phi$ -замкнутое      226
Множество правил $\Phi$ -плотное      234
Множество правил A-финитарное      260
Множество правил детерминированное      228
Множество правил регулярное арифметическое      237
Множество правил регулярное элементарное      243
Множество правил рекурсивно перечислимое      236
Множество правил рекурсивное      236
Множество простое      36
Множество рекурсивно перечислимое (р. п.)      25 126
Множество рекурсивно перечислимое (р. п.) относительно степени      115
Множество слов рекурсивно перечислимое      61
Множество степеней      115
Множество степеней определенное      123
Множество степеней слабо определимое      124
Множество точечное типа k      214
Множество эффективно перечислимое      24
Модель простая      92
Модель с неограниченными ветвлениями      279
Морфизм      270
Мощность модели      90
Набор корней идеала полный      335
Накрытие      306
Номер гёделев      29
Норма      251
Норма на предикате      185
Нормирование      348
Нумерация вычислимая      271 272 276 278
Нумерация вычислимая главная      271 272
Нумерация Клини      202
Нумерация множества      270
Нумерация Поста      271
Область поля универсальная      331
Обозначение ординала      46
Образующие представления      59
Объект высшего типа      193
Объект высшего типа, рекурсивный по Клини относительно объекта      213
Объект типа 2      177
Объект Туге      177
Одно-односводимость      27
Оператор $\varkappa$ -базированный      231
Оператор дуальный      234
Оператор монотонный      167 216 229
Оператор рекурсивный      48
Оператор, допускающий кодирование сечениями      244
Операция скачка      114
Операция сцепления      55
Описание мгновенное      18
Определение индуктивное      224
Определение индуктивное немонотонное      257
Определение индуктивное финитарное      227
Определение индуктивное функционала      169
Определение индуктивное частичной функции      169
Определение разбором случаев      170
Определимость неявная инвариантная      141
Оракул      22
Ординал допустимый      137
Ординал рекурсивный $\omega_1$       46
Ординал рекурсивный Мало      258
Ординал рекурсивный недостижимый      258
Ординал рекурсивный счетный      43
Ординал фундированной части      228
Ординал Чёрча — Клини      238
Отображение $\mathscr K$ -рекурсивное      196
Пара $\alpha$ -р.п. степеней минимальная      143
Пара точная      118
Пара эпиморфизмов максимальная      307
Переменная      65
Подполе конструктивное      276
Подстановка проектирований      170
Подстановка сцеплений      195
Подстановка точечных проектирований      195
Подстановка функциональная      171
Подфункционал      205
Поле n-кратно нормированное      349
Поле гензелево      348
Поле действительных чисел      91
Поле когерентно полное      349
Поле нормированное      348
Поле регулярное замкнутое      296
Поле упорядоченное вещественно замкнутое      91
Полурекурсивность относительная      32
Полурешетка $\alpha$ -степеней верхняя      142
Полурешетка m-степеней верхняя      271
Полурешетка вычислимых нумераций      271
Полурешетка классов эквивалентных вычислимых нумераций      272
Полурешетка степеней верхняя      114 115
Последовательность функционалов нормальная      184 200
Правило      226
Предикат $\mathscr C$ -индуктивный      244
Предикат $\mathscr F$ -определенный      240
Предикат $\mathscr F$ -полурекурсивный      178 185
Предикат $\mathscr F$ -рекурсивный      185
Предикат A-конечный      260
Предикат алгебраический      88
Предикат гиперэлементарный      252
Предикат диофантов      68
Предикат полиномиальный      88
Предикат полурекурсивный относительно $\stackrel{\neg}{\Phi}$       178
Предикат разрешимый      17
Предикат рекурсивно перечислимый (р. п.)      53
Предикат рекурсивный      13 23
Предикат универсальный      25
Предикат фундированный      227
Предложение маркированное      243
Представление      59
Представление групповое      81
Принцип $\Phi$ -индукции      227
Про- $\mathfrak G$ -группа      309
Проблема P      272
Проблема P=MP      82 109
Проблема выполнимости      108
Проблема Гильберта десятая      51 67 69
Проблема неразрешимая      51
Проблема обобщенной конечности      138 139
Проблема основная для корекурсивно перичислимых множеств      128
Проблема остановки      20 52
Проблема Поста      34 37 126 142
Проблема разрешимости      51 70 71 77 78
Проблема разрешимости элементарных теорий      269
Проблема Сакса      116
Проблема слов      55 61
Проблема соответствия      63
Проблема спектра      82
Программа      10
Программа Гильберта      80
Программа недетерминированная      107
Продолжение конструктивизации      275
Продукция      55
Продукция обратная      58
Продукция полутуэвская      55
Проектирование      170 263
Проектирование точечное      195
Проекция      40
Проекция ординала      148 149 151
Пространство точек объектов высших типов      194
Протокол вычисления      18

1 2

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте