Отображение (mapping) 24
Отображение 1 - 1 (one - one) 111
Отображение биективное (bijective) 111
Отображение взаимно однозначное 111
Отображение всюду определенное (total) 215
Отображение вычислимое (calculable) 165 205 215
Отображение инъективное (Injective) 111
Отображение монотонное (monoton) 271
Отображение на (onto) 111
Отображение сюръективное (surjective) 111
Отображение точное (nice) 475
Отображение частичное (partial) 215
Отрицание (negation) 36
Оценка истинностная (truth, valuation) 47
Пара неупорядоченная (unordered pair) 356
Пара упорядоченная (ordered) 357
Парадокс Рассела (Russel paradox) 348
Параметр (parameter) 354
Перевод (translation) 93
Переменная (variable) 20 28 31 318
Переменная индивидная (individual) 28
Переменная свободная (free) 34
Переменная связанная (bound) 34
Переменная синтаксическая (syntactical) 21
Переменная функциональная (function) 223
Переменная числовая (number) 223
ПЕРЕСЕЧЕНИЕ (INTERSECTION) 356
Перестановка (permutation) 427
Подгруппа единичная (zero subgroup) 459
Подгруппа инвариантная (invariant) 467
Подгруппа мягкая (benign) 469
Подгруппа объединенная (amalgam) 461
Подкласс вполне рекурсивно перечислимый (completely recursively enumerable subclass) 283
Подкласс вполне рекурсивный (completely recursive) 288
Подкласс тотально рекурсивно перечислимый (totally recursively enumerable) 289
Подкласс тотально рекурсивный (totally recursive) 289
Подмножество всюду определенное (total subset) 216
Подмножество вычислимое (calculable) 216
Подмножество генерическое (generic) 409 487
Подмножество инвариантное (invariant) 475
Подмножество мягкое (benign) 472
Подмножество плотное (dense) 487
Подмножество С-генерическое (C-generic) 487
Подмножество С-плотное (C-dense) 487
Подмножество свободное (free) 460
Подмножество частичное (partial) 216
Подмодель (submodel) 113
Подструктура (substructure) 113
Подструктура порожденная множеством (generated by set) 145
Подструктура элементарная (elementary) 115
Подтверждение (instantiation) 36
Поле алгебраически замкнутое (algebraically closed field) 134
Поле вещественно замкнутое (real closed) 136
Понятие вынуждения (notion of a forcing) 487
Понятие вынуждения m-замкнутое (m-closed notion of a forcing) 506
Понятие логическое (logical concept) 23
Понятие нелогическое (nonlogical concept) 23
Понятие основное (basic concept) 12
Понятие производное (derived concept) 12
Порядок алфавитный (alphabetical order) 31
Порядок множества (order of a set) 396
Последователь (successor) 17 363
Последовательность классов (sequence of classes) 514
Последовательность специальная (special) 80
Последовательность убывающая (descending) 268 293
Посылка правила (hypothesis of the rule) 16
Правило  -введения (-introduction) 41
Правило  -введения (-introduction) 54 316
Правило ассоциативности (associative rule) 41
Правило вывода (rule of the inference) 16
Правило вывода, конечное (finite rule) 18
Правило дистрибутивности (distribution) 55
Правило индукции (induction) 316 336
Правило логическое (logical) 40
Правило нелогическое (nonlogical) 40
Правило обобщения (generalization) 54
Правило отделения (detachment) 49
Правило подстановки (substitution) 54
Правило расширения (expansion) 41
Правило сечения (cut) 41
Правило сечения, слабое (weak cut) 105
Правило сокращения (contraction) 41
Праэлемент (uretement) 348
Предикат (predicate) 24
Предикат бинарный (binary) 24
Предикат всюду определенный (total) 217
Предикат дизъюнктивно определенный (disjunctively definable) 152
Предикат индивидный (individual) 25
Предикат определимый (definable) 203
Предикат позитивно вычислимый (positively calculable) 184
Предикат представимый (representable) 191
Предикат примитивно рекурсивный (primitive recursive) 206
Предикат равенства (equality) 25
Предикат рекурсивно перечислимый (recursively enumerable) 184
Предикат рекурсивный (recursive) 168
Предикат рекурсивный, в (in) 244
Предикат рекурсивный, частичный (recursive partial) 220
Предикат слабо представимый (weakly representable) 208
Предикат унарный (unary) 24
Предикат частичный (partial) 217
Предикаты Н-эквивалентные (H-equivalent) 294
Предикаты эквивалентные (equivalent predicates) 252
Предложение  -инвариантное (-tnvariant sentence) 500
Предположение индуктивное (induction hypothesis) 17 18 362
Препятствует (prevents) 411
Принцип конфинальности (principle of cofinality) 350
Принцип наименьшего числа (least number) 302
Принцип отделимости (separation principle) 297
Принцип полной индукции (principle of complete induction) 301
Принцип редукции (reduction principle) 297
Принцип трансфинитной индукции (principle of transfinite induction) 362
Приставка (prefix) 62
Приставка нормализованная (normalized) 259
Проблема Гильберта (Hilbert's problem) 163
Проблема разрешимости (decision) 162 163
Проблема тождества слов (word) 463
Проблема тождества слов, неразрешимая (unsolvable) 464
Проблема тождества слов, разрешимая (solvable) 464
Проблема характеризации (characterization) 67
Программа Гильберта (Hilbert's program) 14
Произведение декартово (Cartesian product) 357
Произведение прямое (direct product) 147
Произведение свободное групп (free product of groups) 462
Произведение свободное групп, с объединенной группой (with the amalgamation) 461
Равенство определяющее (defining equation) 318
Разность множеств (set difference) 356
Ранг (rank) 80
Ранг множества (of a set) 438 483
Расширение конечное (finite extension) 201
Расширение консервативное (conservative) 68
Расширение номера (of a number) 268
Расширение простое (simple) 77
Расширение рекурсивное (recursive) 303
Расширение с помощью определений (by definitions) 97
Расширение структуры (of a structure) 113
Расширение теории (of a theory) 68
Расширение условия (of a condition) 408 487
Расширение элементарное (elementary) 115
Расширение языка (of a language) 68
Рекурсивность (recursive) 220
Род 261
Сандвич (sandwich) 150
Свертка (contraction) 178 246
Свертывание кванторов (contraction of quantifiers) 227
Селектор (selector) 284
Семантический (semantical) 14
Сечение (section) 506
Символ (symbol) 15
Символ абсолютный (absolute) 387 485
Символ доминирует (dominates) 345
| Символ логический (logical) 31
Символ нелогический (nonlogical) 31
Символ определяемый (defined) 19
Символ определяемый, в терминах (definable in terms of) 126
Символ ординальный функциональный (ordinal function) 363
Символ полный (complete) 388
Символ предикатный (predicate) 31
Символ равенства (equality) 31
Символ типовой (type) 317
Символ функциональный (function) 31
Символ функциональный, M-инвариантный (M-invariant) 383
Синтаксический (syntactical) 14
Система аксиоматическая (axiom system) 12
Система аксиоматическая, классическая (classical) 12
Система аксиоматическая, современная (modern) 12
Система формальная (formal) 14
Скачок (jump) 254
Следствие (consequence) 40 460
Следствие логическое (logical) 40
Следствие тавтологическое (tautological) 47
Слово (word) 459
Слово позитивное (positive) 477
Случай частный (instance) 38 54
Случай частный, численный (numerical) 309
Сокращение (reduction) 459
Соотношение (relation) 460
Соотношение истинное (hold) 460
Соотношение определяющее (defining) 460
Сочетание скобок правое (association to the right) 36
Спутник отображения (associate of a mapping) 475
Степень (degree) 252
Степень рекурсивно перечислимая (recursively enumerable) 253
Степень рекурсивно перечислимая в (in) 253
Степень рекурсивной неразрешимости (of recursive unsolvability) 252
Степень слабая (weak power) 484 499
Структура (structure) 37
Структура каноническая (canonical) 72
Структура конечно порожденная (finitely generates) 145
Структура насыщенная (saturated) 157
Структура неразрешимая (undecidable) 209
Структура однородная (homogeneous) 157
Структура определимая (definable) 204
Структура слабо насыщенная (weakly saturated) 157
Структура строго неразрешимая (strongly undecidable) 202
Структура универсальная (universal) 157
Структуры изоморфные (isomorphic structures) 111
Структуры элементарно эквивалентные (elementarily equivalent) 113
Тавтология (tautology) 47
Тезис Чёрча (Church thesis) 181
Теорема (theorem) 11 16
Теорема Артина — Шрайера — (Artin — Schreier theorem) 155
Теорема Банаха — Улама (Banach — Ulam theorem) 443
Теорема Генкина — Ope (Henkin — Orey Теорема theorem) 341
Теорема Гёделя (theorem of Godel) 402
Теорема Гильберта о корнях (Hilbert's Nullstellensatz) 154
Теорема главная (principal theorem) 489
Теорема дедукции (deduction theorem) 56
Теорема замыкания (closure theorem) 56 375
Теорема истинности (validity theorem) 44
Теорема Кантора (Cantor's theorem) 376
Теорема Кёнига (Koenig's theorem) 484
Теорема Клини о базисе (Kleene basis theorem) 278
Теорема компактности (compactness theorem) 108
Теорема Крайзеля о базисе (Kreisel basis theorem) 280
Теорема Лёвенгейма — Скулема (Lowenhelm — Skolem theorem) 123
Теорема Линденбаума (Lindenbaum's theorem) 77
Теорема Лося — Воота (Los — Vaught theorem) 139
Теорема Лося — Тарского (Los — Tarski theorem) 119
Теорема Морли (theorem of Morley) 141
Теорема непротиворечивости (consistency theorem) 80
Теорема Новикова 465
Теорема о варианте (variant theorem) 59
Теорема о вполне, вхождении (occurence theorem) 33
Теорема о вполне, упорядоченности (well-ordering theorem) 370
Теорема о дереве (tree theorem) 268
Теорема о доказательствах непротиворечивости (theorem on consistency proofs) 314
Теорема о константах (theorem on constants) 57
Теорема о мощности (cardinality theorem) 123
Теорема о неполноте (incompleteness theorem) 199
Теорема о нормальной форме (normal form theorem) 235
Теорема о перечислении (enumeration theorem) 236
Теорема о подстановке (substitution theorem) 232
Теорема о представимости (representabitity theorem) 193
Теорема о произведении (product theorem) 497
Теорема о расширении модели (model extension theorem) 116
Теорема о рекурсии (recursion theorem) 237
Теорема о совместной непротиворечивости (joint consistency theorem) 124
Теорема о функциональном расширении (theorem on functional extension) 90
Теорема об аналитической иерархии (analitical hierarchy heortem) 261
Теорема об аналитическом перечислении (analltical enumeration theorem) 261
Теорема об арифметической иерархии (arithmetical klerarchi theorem) 243
Теорема об арифметическом перечислении (arithmetical enumeration theorem) 242
Теорема об интерпретации (interpretation theorem) 100
Теорема об отрицании (negation theorem) 197 244
Теорема об элиминации кванторов (quantifiers elimination theorem) 133
Теорема ограниченности (boundedness theorem) 274
Теорема определимости (definability theorem) 127
Теорема отделимости (separation theorem) 275
Теорема подстановки (substitution theorem) 55
Теорема полноты (completeness theorem) 70
Теорема Поста (Post's theorem) 249
Теорема построения (formation theorem) 33
Теорема равенства (equalitg theorem) 60
Теорема редукции (reduction theorem) 68
Теорема редукции, для непротиворечивости (reduction theorem for consistency) 70
Теорема Россера (Rosser's theorem) 342
Теорема Рылль-Нардзевского (Ryll-Nard-ziewski's theorem) 142
Теорема симметрии (symmetry theorem) 60
Теорема системы (theorem of the system) 18
Теорема Скотта (Scott's theorem) 451
Теорема Скулема (Skolem's theorem) 92
Теорема существования (existence theorem) 487
Теорема тавтологии (tautology theorem) 49
Теорема уннформизации (uniformization theorem) 280
Теорема Фридберга — Мучннка (Fridberg — Muchnik theorem) 254
Теорема Ханфа — Тарского (Hanf — Tarski theorem) 450
Теорема характеризации (characterization theorem) 275
Теорема Хигмена (Higman's theorem 465
Теорема Чёрча (Church's theorem) 197
Теорема Чжана — Лося — Сушко (Chang — Los — Suszko theorem) 120
Теорема Шрайера (Schreier's theorem) 461
Теорема эквивалентности (equivalence theorem) 59
Теорема Эрбрана (Herbrand theorem) 87
Теорема Эренфойхта (Ehrenfeucht's theorem) 141
Теории сиабо эквивалентные (weakly equivalent theories) 106
Теории совместимые (compatible) 209
Теории эквивалентные (equivalent) 68
Теория  -категоричная (-categorical) 138
Теория (theory) 42
Теория в мощности (categorical In power) 138
Теория Генкина (Henkin theory) 73
Теория групп элементарная (elementary theory of grourps) 43
Теория интерпретируемая (interpretable) 103
Теория категоричная (categorical) 140
Теория конечно аксиоматизируемая (finitely axiomatized) 108
Теория множеств Цермело — Френкеля (Zermelo — Fraenkel set theory) 350
Теория модельно полная (model-complete) 153
Теория наследственно неразрешимая (hereditarily undecidable) 211
Теория непротиворечивая (consistent) 69
Теория неразрешимая (andecidable) 186
Теория открытая (open) 79
Теория первого порядка (first-order) 42
Теория полей элементарная (elementary theory of fields) 109
Теория полная (complete) 74
Теория противоречивая (inconsistent) 69
Теория разрешимая (decidable) 186
Теория рекурсивно аксиоматизированная (axiomatized) 189
Теория рекурсивно аксиоматнзнруемая (axioma-tizable) 207
Теория совместимая (compatible) 209
Теория строго неразрешимая (strongly undecidable) 209
|
|
|
О проекте