Шенфилд Дж. — Математическая логика :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Шенфилд Дж. — Математическая логика

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

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

Название: Математическая логика

Автор: Шенфилд Дж.

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

$\delta$ -идеал ( $\delta$ -ideal)      458
$\exists$ -правило ( $\exists$ -rule)      105
$\forall$ -правило ( $\forall$ -rule)      109
$\Gamma$ -диаграмма ( $\Gamma$ -diagram)      116
$\Gamma$ -морфизм ( $\Gamma$ -morphism)      145
$\Gamma$ -подструктура ( $\Gamma$ -substructure)      115
$\Gamma$ -расширение ( $\Gamma$ -extension)      115
$\in$ -интерпретация ( $\in$ -interpretation)      382
$\in$ -интерпретация транзитивная (transitive)      382
$\mathfrak{m}$ -теория ( $\mathfrak{m}$ -theory)      122
$\mathfrak{m}$ -язык ( $\mathfrak{m}$ -language)      122
$\mu$ -оператор ( $\mu$ -operator)      167
$\mu$ -оператор неограниченный (unbounded)      171
$\mu$ -оператор ограниченный (bounded)      171
$\neg \exists$ -правило ( $\neg \exists$ -rule)      105
$\neg \forall$ -правило ( $\neg \forall$ -rule)      105
$\neg \neg$ -правило ( $\neg \neg$ -rule)      105
$\omega$ -модель ( $\omega$ -model)      340
$\varphi$ -элемент ( $\varphi$ -element)      467
J-вынуждение (J-forcing)      428
k-перестановка (k-permutation)      427
n-ка (n-tuple)      24
n-сандвич (n-sandwich)      150
n-тип (n-type)      140
R-символ (R-symbol)      343
R-формула (R-formula)      307
RE-индекс (RE-index)      236 251
RE-индекс по (RE-index from)      250
u-изоморфизм (u-isomorphism)      126
y-последовательность (y-sequence)      453
Автоморфизм (automorphism)      499
Аксиома (axiom)      11 16
Аксиома бесконечности (axiom of infinity)      352
Аксиома бесконечности, обобщенная (generalized axiom of infinity)      438
Аксиома выбора (axiom of choice)      370
Аксиома выделения (comprehension axiom)      335
Аксиома замены (replacement axiom)      351
Аксиома измеримости (axiom of measurability)      442
Аксиома индукции (induction axiom)      300 335
Аксиома конструктивности (axiom of constractibility)      401 486
Аксиома логическая (logical axiom)      40 41
Аксиома мультипликативности (multiplicative axiom)      421
Аксиома недостижимости (axiom of inaccessibility)      438
Аксиома нелогическая (nonlogical axiom)      40 42
Аксиома объемности (extensionality axiom)      335 350
Аксиома определяющая (defining axiom)      93 95 97
Аксиома подмножеств (subset axiom)      350
Аксиома подстановки (substitution axiom)      41 316
Аксиома пропозициональная (propositional axiom)      41
Аксиома равенства (equality axiom)      41
Аксиома равенства (special equality axiom)      85
Аксиома регулярности (regularity axiom)      350
Аксиома специальная (special axiom)      75
Аксиома степени (power set axiom)      351
Аксиома тождества (identity axiom)      41
Аналитичность в (analiticat in)      261
Арифметика второго порядка (second-order arithmetic)      334
Арифметика Пеано (Peano arithmetic)      301
Арифметичность в (arithmetical in)      245
База (base)      210
Базис (basis)      277
Вариант (variant)      59
Вид квантора (kind of a quantifier)      239 258
Вложение (embedding)      113
Вхождение выражения (occurence of an expression)      15
Вхождение свободное (free)      29 34
Вхождение связанное (bound)      29 34
Вхождение символа (occurence of a symbol)      15
Выводимость по правилу      16
Вынуждение (forcing)      410 412 413 490
Вынуждение слабое (weak forcing)      493
Выражение (expression)      15
Выражение, свободное от переменных (variable-free)      37
Выражения сравнимые (compatible expressions)      33
Высота (height)      32
Вычислимость (calculability)      165 181 182 215
Гиперскачок (hyperjump)      294
Гиперстепень (hyperdegree)      294
Гипотеза континуума (continuum hypothesis)      378
Гипотеза континуума обобщенная (generalized continuum hypothesis)      378
Гипотеза четырех красок (four-color conjecture)      149
Гомоморфизм (homomorphism)      146
Гомоморфизм негативный (negative)      146
Гомоморфизм позитивный (positive)      146
График (graph)      219 225
Группа (group)      43
Группа конечно определенная (finitely presented)      464
Группа полная (divisible)      145
Группа рекурсивно определенная (recursively presented)      464
Группа свободная (free)      459
Группа Хигмена (Higman's group)      465
Дерево (tree)      268
Дизъюнкт (disjunct)      104
Дизъюнкция (disjunction)      36
Длина выражения (length of an expression)      15
Доказательство (proof)      18
Доказательство индукцией (by induction)      17 18 53 168 381
Доказательство обозримое (visualize)      14
Доказательство трансфинитной индукцией (by transfinite induction)      362
Доказательство финитное (finitary)      13
Доказательство формулы      18
Заключение правила (conclusion of a rule)      16
Замыкание (closure)      56
Значение возможное (possible value)      504
Значение истинностное (truth)      26
Значение отображения (value of a mapping)      24
Идеал измеримый (measure ideal)      442
Иерархия аналитическая (analytical hierarchy)      259
Иерархия арифметическая (arithmetical)      240
Изоморфизм (isomorphism)      111 151
Изоморфизм интерпретаций (of interpretations)      380
Изоморфизм мягкий (benign)      469
Импликация (implication)      36
Имя выражения (name of an expression)      20
Имя индивида (of an individual)      37
Имя элемента (of an element)      490
Индекс (index)      32 235
Индекс по (from)      249
Индекс функциональный (functional)      250
Индивид (individual)      24 37
Индукция по объектам (induction on objects)      18
Индукция по предикатным символам (on predicate symbols)      381
Индукция по теоремам (on theorems)      17
Интерпретация опровержением контрпримера (no counterexample interpretation)      328
Интерпретация простая (simple)      203
Интерпретация теории в теории (of a theory in a theory)      99
Интерпретация точная (faithful)      201
Интерпретация транзитивная (transitive)      382
Интерпретация формулы (of a formula)      99
Интерпретация языка, в теории (of a language in a theory)      99
Интерпретация языка, в языке (in a language)      98
Кардинал (cardinal)      371
Кардинал в M (in M)      485
Кардинал недостижимый (inaccessible)      438
Кардинал регулярный (regular)      454 483
Кардинал сингулярный (singular)      454 483
Кардинал слабо недостижимый (weakly inaccessible)      454
Категоричность (categoricity)      138
Квазитавтология (quasi-tautology)      80
Квантор (quantifier)      36
Квантор всеобщности (universal)      36
Квантор для бесконечно многих (for infinitely many)      286
Квантор неограниченный (unbounded)      172
Квантор ограниченный (bounded)      172
Квантор существования (existential)      36
Класс (class)      24 348
Класс аксиоматизируемый      144
Класс в M (in M)      485
Класс замкнутый (closed)      148
Класс обобщенно элементарный (generalized elementary)      144

Класс центрированный (satisfies the finite intersection property)      159
Класс элементарный (elementary)      144
Константа (constant)      31 318
Константа специальная (special)      75
Конъюнкция (conjunction)      36
Лемма бесконечности (infinity lemma)      279
Лемма диагональная (diagonal lemma)      196
Лемма интерполяционная Крейга (Craig interpolation lemma)      126
Лемма о диаграмме (diagram lemma)      116
Лемма о замене (replacement lemma)      246
Лемма о конечности (finiteness lemma)      246
Лемма о проекции (projection lemma)      251
Лемма о расширении (extension lemma)      490
Лемма о транзитивности (transitivity lemma)      245
Лемма об истинности (truth lemma)      413 490
Лемма определимости (definability lemma)      490
Лемма Тарского (Tarski's lemma)      120
Лемма Тейхмюллера — Тьюки (Teichmueller — Tukey lemma)      77
Лемма Цорна (Zorn's lemma)      453
М-множество (M-set)      382
Матрица (matrix)      62
Метод (method)      164
Метод механический (mechanical)      164
Метод механический, разрешающий (decision method)      162 163 215 216 221 224
Метод сжатия (collapsing technique)      484
Множества много-односводимые (many-one reducible sets)      285
Множества одно-односводимые (one-one reducible)      285
Множества подобные (similar)      369
Множества рекурсивно, изоморфные (recursively isomorphic)      283
Множества рекурсивно, неотделимые (recursively inseparable)      210
Множества таблично сводимые (truth-table reducible)      287
Множества эффективно рекурсивно неотделимые (effectively recursively inseparable)      286
Множество (set)      24 348
Множество F-замкнутое (F-closed)      375
Множество Q-замкнутое (Q-closed)      295
Множество автоморфизмов $\mathfrak{A}$ -однородное ( $\mathfrak{A}$ -homogeneous set of automorphisms)      500
Множество бесконечное (infinite)      373
Множество вполне упорядоченное (well-ordered)      293
Множество вполне упорядочивающее (well-ordering)      453
Множество вполне фундированное (well-founded)      293
Множество вычислимое (calculable)      165
Множество гиперпростое (hypersimple)      288
Множество достижимое (accessible)      439
Множество измеримое (measurable)      442
Множество изоморфизмов мягкое (benign set of isomorphisms)      471
Множество инвариантное (invariant)      427
Множество индуктивное (inductive)      453
Множество конечное (finite)      373
Множество конструктивное (constructible)      396
Множество креативное (creative)      284
Множество наследственно ординально определимое (hereditarily ordinal-definable)      500
Множество одноэлементное (unit set)      356
Множество ординально определимое (ordinal-definable)      500
Множество отделимое (separated)      425
Множество отделяющее (separating)      210
Множество полное (complete)      287
Множество простое (simple)      284
Множество пустое (empty)      356
Множество регулярное (regular)      452
Множество реляционное (relational)      293
Множество реляционное, гиперарифметическое (hyper-arithmetical relational)      294
Множество реляционное, рекурсивное (recursive relational)      294
Множество слов, рекурсивно перечислимое (recursively enumerable)      463
Множество слов, рекурсивное (recursive set of words)      463
Множество степени (power set)      355
Множество счетное (countable)      373
Множество транзитивное (transitive)      360
Множество формул, главное (principal set of formulas)      141
Множество формул, инвариантное (invariant)      146
Множество формул, регулярное (regular)      116
Множество формул, тавтологически непротиворечивое (tautologically consistent)      103
Множество формул, тавтологически полное (tautologically complete)      104
Множество формул, тавтологически противоречивое (tautologically inconsistent)      103
Множество чистое (pure)      349
Модель простая (prime model)      15
Модель регулярная (regular)      339
Модель стандартная (standard)      43 307 336
Модель теории (model of a theory)      43
Модель тотальная (total)      340
Модель транзитивная (transitive)      484
Модель элементарно простая (elementarily prime)      159
Мощность структуры (cardinal of a structure)      122
Мягкость (benign)      469 471
Н-индекс (H-index)      263
Н-индекс по (H-index from)      266
НОМЕР (NUMBER)      185
Номер выражения (expression number)      185
Номер последовательности (sequence number)      177
Номер символа (symbol number)      185
Обеднение (restriction)      71 149
Область значений (range)      359
Область изменения переменной (a variable varies through)      20
Область определения (domain)      215 216 359
Обобщение (generalization)      36
Обогащение (expansion)      71
Обогащение несущественное (inessential)      212
Обогащение с помощью определений (expansion by definitions)      202
Образ гомоморфный (homomorphic image)      147
Образующая (generator)      142
Образующие группы (generators)      460
Объединение (union)      356
Объединение теорий (of theories)      124
Объединение цепи (of a chain)      119
Однородность (homogeneous)      500
Операция пренексная (prenex operation)      62
Операция эффективная (effective)      288
Определение истинности (truth definition)      208
Определение неявное (implicit)      237 280
Определение обобщенное индуктивное (generalized inductive)      17
Определение разбором случаев (by cases)      173
Определение с помощью индукции (by induction)      367
Определение символа (of symbol)      19
Определение трансфинитной индукцией (by transfinite induction)      356
Определение явное (explicit)      168
Оракул (oracle)      222
Ординал (ordinal)      360
Ординал бесконечный (infinite)      364
Ординал дерева (of a tree)      270
Ординал конечный (finite)      364
Ординал минимальный (minimal)      361
Ординал первый (first)      362
Ординал предельный (limit)      364
Ординал рекурсивный (recursive)      272
Ординал рода $\Delta_2^1$ ( $\Delta_2^1$ ordinal)      457
Отношение $\Pi_1^1$ -равномерное ( $\Pi_1^1$ uniformly)      296
Отношение (relation)      233
Отношение аналитическое (analytical)      258
Отношение арифметическое (arithmetical)      239
Отношение борелевское (Borel)      267
Отношение всюду определенное (total)      223
Отношение вычислимое (calculable)      224
Отношение гиперарифметическое (hyperarithmetical)      263
Отношение гиперарифметическое в (in)      266 267
Отношение отделяющее (separating)      275
Отношение перечисляющее (enumerating)      236
Отношение позитивно вычислимое (positively calculable)      224
Отношение проективное (projective)      261
Отношение рекурсивно перечислимое (recursively enumerable)      225
Отношение рекурсивно перечислимое в (in)      244
Отношение рекурсивное (recursive)      225
Отношение рекурсивное в (in)      245
Отношение рекурсивное частичное (recursive partial)      225
Отношение рода      239 259 261
Отношение функционально арифметическое (functionally arithmetical relation)      250
Отношение функционально перечисляющее (enumerating)      251
Отношение функционально рекурсивно перечислимое (recursively enumerable)      250
Отношение функционально рекурсивное (recursive)      250
Отношение функционально рекурсивное в (in)      245
Отношение частичное (partial)      223
Отношения непересекающиеся (disjoint relations)      274

1 2 3

О проекте