|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Расёва Е., Сикорский Р. — Математика метаматематики |
|
|
|
| Предметный указатель |
Кванторная алгебра [quantifier algebra] 257 532
Кванторная алгебра [quantifier algebra] теории [of a theory] 291 323 475 543
Келли [Kelley, J.L.] 19
Класс эквивалентности [equivalence class] 28
Классическая логика [classical logic] 220
Классическое [classical] предикатное исчисление [predicate calculus] 221
Классическое [classical] пропозициональное исчисление [propositional calculus] 221
Клини [Kleene, S.C.] 173 369 434 441 452 453 470 477 492—494 496 564
Компактификация [compactification] 122
Компактное пространство [compact space] 23
Композиция [superposition] 18
Конгруэнтные формулы [congruent formulas] 256
Конгруэнция [congruence] 34
Конгруэнция [congruence] по отношению к операции [with respect to an operation] 30
Конечная [finite] диаграмма [diagram] 348
Конечная [finite] модель [model] 326
Конечная [finite] операция [operation] 37
Конечная [finite] последовательность [sequence] 18
Константа индивидная [individual constant] 175 181
Конструктивная [constructive] логика [logic] 530
Конструктивная [constructive] теория [theory] 505
Концевая последовательность [end sequence] 306 348
Конъюнктивная нормальная форма [conjunctive normal form] 303
Конъюнкция [conjunction] 239
Коэн [Cohen, P.J.] 566
Крейг [Craig, W.] 351
Крейсел [Kreisel, G.] 14 438 468 477 485
Куайн [Quine, W.V.] 563
Куратовский [Kuratowski, C.] 14 17 19 20 43 559
Левая посылка [left premis] 305 346
Левенгейм [Loewenheim, L.] 338
Лемма Цорна 43
Ленгфорд [Langford, C.H.] 369 530 540 551
Лингвистически инвариантное расширение [linguistically invariant extension] 237
Лингвистическое расширение [linguistic extension] 237
Линденбаум [Lindenbaum, A.] 11 244 283 284 317 367
Линдон [Lyndon, R.C.] 188
Логика [logic] 219 220
Логика [logic] m-значная [m-valued] 215 529
Логика [logic] двузначная [two-valued] 220
Логика [logic] интуиционистская [intuitionistic] 434 436
Логика [logic] классическая [classical] 220
Логика [logic] конструктивная [constructive] 530
Логика [logic] минимальная [minimal] 529
Логика [logic] модальная [modal] 530 540
Логика [logic] неклассическая [non-classical] 433
Логика [logic] позитивная [positive] 530 531
Логика [logic] строгой импликации [of strict implication] 540
Логика [logic] теории [of theory] 219
Логика [logic] трехзначная [3-valued] 215 529
Логическая аксиома [logical axiom] 178 214
Логическое следствие [logical consequence] 204 209
Лоренцен [Lorenzen, P.] 561
Лось [Los, J.] 12 278 284 299 319 338 358 388 390 419 429 528
Лукасевич [Lukasiewicz, J.] 215 220 247 299 529
Льюис [Lewis, C.I.] 530 540 551
Мак-Кей [MacKey, C.G.] 563
Мак-Кинси [McKinsey, J.C.C.] 11 73 112 120 121 129 132 134 153 155 156 158 167 168 284 443 446 453 542 549—552
Маклейн [MacLane, S.] 30
Макнейл [MacNeille, H.] 107 108
Максимальная теория [maximal theory] 238
Максимальное  -подмножество [maximal -subset] 128
Максимальный [maximal]  -фильтр [-filter] 366 501
Максимальный [maximal] идеал [ideal] 60
Максимальный [maximal] фильтр [filter] 60
Максимальный [maximal] элемент [element] 42
Мальцев, А.И. 10 312 358
Марков, А.А. 530
Марчевский [Marczewski, E.] 93
Математическая аксиома [mathematical axiom] 218
Маэхара [Maehara, S.] 188
Меньше или равно [less] 42
Метаарифметика [metaarithmetic] 173
Метатеория [metatheory] 173
Метод истинностных таблиц [truth-table method] 194
Метрика [metric] 123
Метрическое пространство [metric space] 123
Метрическое пространство [metric space] полное [complete] 141
Минимальная логика [minimal logic] 529
Минимальное расширение [minimal extension] 107
Минимальный элемент [minimal element] 42
Минц, Г.Е. 566
Многочлен булев [Boolean polynomial] 197
Множества непересекающиеся [disjoint sets] 17
Множество [set] аксиом равенства [of axioms for equality] 224
Множество [set] всюду плотное [dense] 22
Множество [set] граничное [boundary] 22
Множество [set] допустимое [admissible] 37 41
Множество [set] замкнутое [closed] 20 30 37 216
Множество [set] знаков алфавита [of all signs of an alphabet] 183 196
Множество [set] нигде не плотное [nowhere dense] 22
Множество [set] открытое [open] 20
Множество [set] первой категории [of the first category] 23
Множество [set] плотное [dense] 22
Множество [set] плотное [dense] в себе [in-itself] 127
Множество [set] предупорядоченное [quasi-ordered] 44
Множество [set] пустое [empty] 17
Множество [set] счетное [enumerable, countable] 19
Множество [set] термов [of all terms] 183
Множество [set] упорядоченное [ordered] 42
Множество [set] формул [of all formulas] 184 196
Множество [set], замкнутое [closed] относительно [under] операции [an operation] 30 37
Множество [set], замкнутое [closed] относительно [under] правила [a rule] 216
Множество [set], общезначимое в реализации [valid in a realization] 325 477
Модальная [modal] логика [logic] 530 540
Модальная [modal] предикатная тавтология [predicate tautology] 554
Модальная [modal] пропозициональная тавтология [propositional tautology] 544
Модальная [modal] теория [theory] нулевого порядка [of the zero order] 541
Модальная [modal] теория [theory] первого порядка [of the first order] 541
Модально [modally] доказуемая формула [derivable formula] 541
Модально [modally] общезначимая формула [valid formula] 544 554
Модальное [modal] предикатное исчисление [predicate calculus] 541
Модальное [modal] пропозициональное исчисление [propositional calculus] 541
Модальный язык [modal language] 540
Модель для [model for] множества формул [a set of formulas] 297 325 441 477 533 537 544 553
Модель для [model for] множества формул [a set of formulas] семантическая [semantic] 298 441
Модель для [model for] теории [a theory] 297 326 335 441 477 533 537 544 553
Модель для [model for] теории [a theory] адекватная [adequate] 311 331 456 481 545 554
Модель для [model for] теории [a theory] алгебраическая [algebraic] 326
Модель для [model for] теории [a theory] каноническая [canonical] 331 379 518
Модель для [model for] теории [a theory] каноническая [canonical] семантическая [semantic] 409
Модель для [model for] теории [a theory] конечная [finite] 326
Модель для [model for] теории [a theory] одинарная семантическая [ordinary semantic] 335
Модель для [model for] теории [a theory] семантическая [semantic] 298 332 441 480
Модель для [model for] теории [a theory] счетная [enumerable] 326 477
Модель для [model for] теории [a theory] топологическая [topological] 479 545 554
Модель для [model for] формулы [a formula] 297 325 441 477 533 537 544 553
Модель для [model for] формулы [a formula] семантическая [semantic] 298 441
Мономорфизм [monomorphism] 33
Монтейро [Monteiro, A.] 148
Морель [Morel, A.C.] 390 393
Мостовский [Mostowski, A.] 11 15 17 263 284 369 419 429 476 485 491
Мощность [cardinal] модели [of a model] 326
Мрувка [Mroewka, S.] 319
На [onto] 18
Наибольший элемент [greatest element] 42
Наименьший элемент [least element] 42
Наследница [derivative] 426
Наследница [derivative] прямая [direct] 425 426
Наследственно сводимая эрбранова дизъюнкция [hereditarily reducible Herbrand disjunction] 426
Не пересекаются [are disjoint] 381
Небелинг [Noebeling, G.] 14 112
Невырожденная решетка [non-degenerate lattice] 93
Недостижимая мощность [inaccessible cardinal] 370
Неклассическая [non-classical] логика [logic] 433
Неклассическая [non-classical] операция присоединения следствий [consequence operation] 433
Нельсон [Nelson, D.] 492 530
Необходимо [it is necessary] 540
Неопровержимая формула [irrefutable formula] 239
Непересекающиеся множества [disjoint sets] 17
| Непосредственная подформула [direct subformula] 239
Непосредственное следствие [immediate consequence] 210
Непрерывное отображение [continuous mapping] 118
Непротиворечивая теория [consistent theory] 235
Неразложимая [indecomposable] последовательность [sequence] 305 346
Неразложимая [indecomposable] формула [formula] 305 346
Несущественное расширение [inessential extension] 237
Неэлементарный язык [non-elementary language] 188
Нигде не плотное множество [nowhere dense set] 22
Нижняя граница [lower bound] 42
Нормальная форма [normal form] дизъюнктивная [disjunctive] 302
Нормальная форма [normal form] конъюнктивная [conjunctive] 303
Нормальное пространство [normal space] 25
Нулевой [zero] идеал [ideal] 58
Нулевой [zero] элемент [element] 48
Область определения [domain] 18 37
Область прибытия [counter-domain] 18
Обобщенная [generalized]  -свободная алгебра [-free algebra] 38
Обобщенная [generalized] операция [operation] 36
Обобщенная [generalized] свободная алгебра [free algebra] 38
Обобщенная [generalized] универсальная алгебра [abstract algebra] 37
Обобщенная [generalized] универсальная алгебра [abstract algebra] полная [complete] 37
Образ [image] 18
Общезначимая [valid] в булевой алгебре формула [in a Boolean algebra formula] 297
Общезначимая [valid] в импликативной решетке формула [in a relatively pseudo-complemented lattice formula] 533
Общезначимая [valid] в псевдобулевой алгебре формула [in a pseudo-Boolean algebra formula] 441
Общезначимая [valid] в реализации формула [in a realization formula] 325 477 537 553
Общезначимая [valid] в топологической булевой алгебре формула [in a topological Boolean algebra formula] 544
Общезначимая [valid] формула [formula] 297
Общезначимое в реализации множество [valid in a realization set] 325 477
Объединение прямое [direct] 146
Объединение [join] 44 49
Объединение [union] 17
Одновременная замена [simultaneous replacement] 180
Однотипные алгебры [similar algebras] 32 38
Одноточечная сильная компактификация [one-point strong compactification] 122
Одноэлементная решетка [one-element lattice] 93
Операция обобщенная [generalized] 36
Операция присоединения следствий [consequence] 178 212 219
Операция присоединения следствий [consequence] интуиционистская [intuitionistic] 436
Операция присоединения следствий [consequence] неклассическая [non-classical] 433
Операция [operation] 18
Операция [operation] бесконечная [infinite] 37
Операция [operation] взятия внутренности [interior] 20 112
Операция [operation] взятия замыкания [closure] 20 113
Операция [operation] конечная [finite] 37
Операция [operation], ассоциированная с данной операцией [corresponding to a fixed operation] 30
Операция, определенная правилами вывода и множеством логических аксиом [determined by rules of inference and a set of logical axioms] 214
Опровержимая формула [refutable formula] 239
Ординарная [ordinary] реализация знака равенства [realization of the sign of equality] 513
Ординарная [ordinary] семантическая [semantic] модель [model] 335
Ординарная [ordinary] семантическая [semantic] реализация знака равенства [realization of the sign of equality] 514
Открытая [open] база [basis] 21
Открытая [open] теория [theory] 240
Открытая [open] формула [formula] 240
Открытое [open] множество [set] 20
Открытое [open] отображение [mapping] 119
Открытый элемент [open element] 113
Отношение линейного порядка [linear ordering] 43
Отношение порядка [ordering] 41
Отношение предпорядка [quasi-ordering] 43
Отношение решеточного порядка [lattice ordering] 44
Отношение функциональное [function] 231
Отношение эквивалентности [equivalence] 28
Отношение эквивалентности [equivalence], определяемое фильтром [determined by a filter] 78
Отношение [relation], согласованное с отображением [consistent with a mapping] 29
Отображение [mapping] 18
Отображение [mapping] внутреннее [interior] 119
Отображение [mapping] непрерывное [continuous] 118
Отображение [mapping] открытое [open] 119
Отображение [mapping], ассоциированное с [corresponding to] операцией [an operation] 30
Отображение [mapping], ассоциированное с [corresponding to] отображением [a mapping] 30
Отрицание противоречия [denial of contradiction] 300
Оценка [valuation] для теории [for a theory] каноническая [canonical] 297 441 533 544
Оценка [valuation] для теории [for a theory] характеристическая [characteristic] 465
Оценка [valuation] языка [of a language] в алгебре [in an algebra] 246 297 440 533 544
Оценка [valuation] языка [of a language] в алгебре [in an algebra] каноническая [canonical] 250
Оценка [valuation] языка [of a language] в алгебре [in an algebra] регулярная [regular] 451
Оценка [valuation] языка [of a language] в множестве [in a set] 252 476 536 553
Оценка [valuation] языка [of a language] в множестве [in a set] тождественная [identity] 272
Оценка [valuation] языка [of a language] в реализации [in a realization] 325 476
Парадокс семантический [semantic paradox] 173
Первой категории множество [set of the first category] 23
Переменная [variable] индивидная [individual] 175
Переменная [variable] индивидная [individual] свободная [free] 181
Переменная [variable] индивидная [individual] связанная [bound] 181
Переменная [variable] пропозициональная [propositional] 196
Переменная [variable] свободная составная [complex free] 381
Переменная [variable] связанная составная [complex bound] 381
Пересечение [intersection] 17
Пересечение [meet] 44 49
Пильчак, Б.Ю. 446
Плотное [dense] в себе множество [in-itself set] 127
Плотное [dense] множество [set] 22
Плотный элемент [dense element] 114 156
Подалгебра [subalgebra] 31 37
Подалгебра [subalgebra] булева 89
Подалгебра [subalgebra] топологическая [topological] 114
Подалгебра [subalgebra], порожденная множеством [generated by a set] 31
Подбаза [subbasis] 21 114
Подмножество [subset] 17
Подпространство топологическое [topological subspace] 27
Подрешетка [sublattice] 47
Подрешетка [sublattice] полная [complete] 53
Подстановка [substitution] 180
Подстановка [substitution] в языке [in a language] 252
Подстановка [substitution] языка L в язык  [from language into language L] 245
Подформула [subformula] 239 240
Подформула [subformula] непосредственная [direct] 239
Позитивная [positive] логика [logic] 530 531
Позитивная [positive] предикатная тавтология [predicate tautology] 537
Позитивная [positive] пропозициональная тавтология [propositional tautology] 533
Позитивная [positive] теория [theory] нулевого порядка [of the zero order] 531
Позитивная [positive] теория [theory] первого порядка [of the first order] 531
Позитивно [positively] доказуемая формула [derivable formula] 531
Позитивно [positively] общезначимая формула [valid formula] 533 537
Позитивное [positive] предикатное исчисление [predicate calculus] 531
Позитивное [positive] пропозициональное исчисление [propositional calculus] 531
Поле [field] множеств [of sets] 83
Поле [field] множеств [of sets] полное [complete] 109
Поле [field] множеств [of sets] топологическое [topological] 112
Поле [field] подмножеств [of subsets] 83
Поле [field] стоуновское [Stone] 101
Полная [complete] булева алгебра [Boolean algebra] 83
Полная [complete] обобщенная алгебра [generalized algebra] 37
Полная [complete] подрешетка [sublattice] 53
Полная [complete] решетка [lattice] 55
Полная [complete] теория [theory] 238
Полное [complete] метрическое пространство [metric space] 141
Полное [complete] поле множеств [field of sets] 109
Полное [complete] произведение алгебр [product of algebras] 41
Получена одновременным принятием определений [is obtained by simultaneously assuming definitions] 243
Поля Эквивалентные [equivalent fields] 93
Пономарев, В.И. 140
Порождает алгебру [generates an algebra] 31 38
Порядок формулы [order of a formula] 350
Последовательность [sequence] 18
Последовательность [sequence] m-элементная [m-element] 18
Последовательность [sequence] бесконечная [infinite] 18
Последовательность [sequence] конечная [finite] 18
Последовательность [sequence] концевая [end] 306 348
Последовательность [sequence] неразложимая [indecomposable] 305 346
Последовательность [sequence] разложимая [decomposable] 346
Последовательность [sequence] фундаментальная [fundamental] 305 346
Пост [Post, E.L.] 215 369
Посылка [premis] 204 305 346
Посылка [premis] левая [left] 305 346
Посылка [premis] правая [right] 305 346
Посылка [premis] схемы [of the scheme] 305 346
Правая посылка [right premis] 305 346
|
|
|
| Реклама |
|
|
|
|
|
О проекте