|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Расёва Е., Сикорский Р. — Математика метаматематики |
|
|
|
| Предметный указатель |
Правило [rule] modus ponens 193
Правило [rule] введения [of introduction] квантора общности [of a universal quantifier] 207
Правило [rule] введения [of introduction] квантора существования [of an existential quantifier] 206
Правило [rule] вывода [of inference] 178 204
Правило [rule] обобщения [of generalization] 293
Правило [rule] отделения [of detachment] 193 205 209
Правило [rule] подстановки вместо свободных индивидных переменных [of substitution for free individual variables] 205
Правило [rule] удаления [of elimination] квантора общности [of a universal quantifier] 209
Правило [rule] удаления [of elimination] квантора существования [of an existential quantifier] 208
Предваренная [prenex] форма [form] 383
Предваренная [prenex] формула [formula] 383
Предел [limit] 123
Предикат [predicate] 175 181
Предикат [predicate] m-местный [m-argument] 175 181
Предикатная тавтология [predicate tautology] 200 202
Предикатная тавтология [predicate tautology] интуиционистская [intuitionistic] 477
Предикатная тавтология [predicate tautology] модальная [modal] 554
Предикатная тавтология [predicate tautology] позитивная [positive] 537
Предикатное исчисление [predicate calculus] двузначное [two-valued] 221
Предикатное исчисление [predicate calculus] интуиционистское [intuitionistic] 472
Предикатное исчисление [predicate calculus] классическое [classical] 221
Предикатное исчисление [predicate calculus] модальное [modal] 541
Предикатное исчисление [predicate calculus] позитивное [positive] 531
Предупорядоченное множество [quasi-ordered set] 44
Преобразование [transformation] 18
Пресбургер [Presburger, M.] 370
Примитивная формула [primitive formula] 183
Примитивный терм [elementary term] 183
Принцип двойственности [duality principle] 46
Принцип индукции для упорядоченных множеств [induction principle for ordered sets] 43
Продолжение [extension] 18
Проекция [projection] 136
Произведение [product] алгебр [of algebras] 36
Произведение [product] алгебр [of algebras] полное [complete] 41
Произведение [product] обобщенных алгебр [of generalized algebras] 40
Произведение [product] прямое [Cartesian] 18
Произведение [product] реализации [of realizations] 278
Произведение [product] реализации [of realizations] по модулю простого фильтра [modulo the prime filter] 390
Прообраз [counter-image] 18
Пропозициональная [proposiional] переменная [variable] 196
Пропозициональная [proposiional] связка [connective] бинарная [binary] 176 181 196
Пропозициональная [proposiional] связка [connective] унарная [unary] 176 181 196
Пропозициональная [proposiional] тавтология [tautology] 192 194 197 198
Пропозициональная [proposiional] тавтология [tautology] интуиционистская [intuitionistic] 441
Пропозициональная [proposiional] тавтология [tautology] модальная [modal] 544
Пропозициональная [proposiional] тавтология [tautology] позитивная [positive] 533
Пропозициональное исчисление [propositional calculus] 196 197
Пропозициональное исчисление [propositional calculus] двузначное [two-valued] 221
Пропозициональное исчисление [propositional calculus] интуиционистское [intuitionistic] 438
Пропозициональное исчисление [propositional calculus] классическое [classical] 221
Пропозициональное исчисление [propositional calculus] модальное [modal] 541
Пропозициональное исчисление [propositional calculus] позитивное [positive] 531
Простая теория [prime theory] 238 504
Простой [prime] идеал [ideal] 61
Простой [prime] фильтр [filter] 61
Пространства гомеоморфные [homeomorphic spaces] 26
Пространство [space] 17
Пространство [space] вполне несвязное [totally disconnected] 24
Пространство [space] компактное [compact] 23
Пространство [space] метрическое [metric] 123
Пространство [space] нормальное [normal] 25
Пространство [space] регулярное [regular] 25
Пространство [space] стоуновское [Stone] 65
Пространство [space] топологическое [topological] 19
Пространство [space] хаусдорфово [Hausdorff] 24
Прямая наследница [direct derivative] 425 426
Прямое объединение [direct union] 146
Прямое произведение [Cartesian product] 18
Псевдобулев [pseudo-Boolean] гомоморфизм [homomorphism] 152
Псевдобулев [pseudo-Boolean] изоморфизм [isomorphism] 152
Псевдобулева алгебра [pseudo-Boolean algebra] 73
Псевдобулева алгебра [pseudo-Boolean algebra] вырожденная [degenerate] 151
Псевдобулева алгебра [pseudo-Boolean algebra] сильно компактная [strongly compact] 155
Псевдодополнение [pseudo-complement] 68
Псевдодополнение [pseudo-complement] относительно элемента [relative to an element] 69
Псевдодополнение [pseudo-complement] по модулю элемента [modulo an element] 69
Псевдомодель [pseudo-model] 189
Псевдоразность [pseudo-difference] 72
Пустое множество [empty set] 17
Путнам [Putnam, H.] 468
Рабин [Rubin, J.E.] 319
Разложимая [decomposable] последовательность [sequence] 346
Разложимая [decomposable] формула [formula] 346
Разность [difference] 17 72
Райхбах [Reichbach, J.] 338
Расева [Rasiowa, H.] 15 105 106 120 121 166 167 220 277 284 290 299 309 325 326 338 351 380 387 411 422 429 467 474 476 477 480 485 494 496 509 513 518 528—530 539 541 552—554 557—560
Рассел [Russell, B.] 172
Расстояние [distance] 123
Расширение [extension] 38 236 237
Расширение [extension] богатое [rich] 354
Расширение [extension] минимальное [minimal] 107
Расширение [extension] реализации [of a realization] 267
Расширение [extension] теории [of a theory] 237
Расширение [extension] теории [of a theory] до теории с равенством [to a theory with equality] 374
Расширение [extension] теории [of a theory] лингвистически инвариантное [linguistically invariant] 237
Расширение [extension] теории [of a theory] лингвистическое [linguistic] 237
Расширение [extension] теории [of a theory] несущественное [inessential] 237
Расширение [extension] теории [of a theory] существенное [essential] 237
Расширение [extension] языка [of a language] 236
Реализация [realization] знака равенства [of the sign of equality] ординарная [ordinary] 513
Реализация [realization] знака равенства [of the sign of equality] ординарная [ordinary] семантическая [semantic] 514
Реализация [realization] знака равенства [of the sign of equality] семантическая [semantic] 513
Реализация [realization] теории [of a theory] каноническая [canonical] 330
Реализация [realization] теории [of a theory] характеристическая [characteristic] 506
Реализация [realization] термов [of terms] 191
Реализация [realization] термов [of terms] каноническая [canonical] 272
Реализация [realization] языка [of a language] 262 273 475 476 536 552
Реализация [realization] языка [of a language] каноническая [canonical] 277 480 536 553
Реализация [realization] языка [of a language] семантическая [semantic] 265 479
Реализация [realization] языка [of a language] счетная [enumerable] 477
Реализация [realization] языка [of a language] топологическая [topological] 479 554
Регулярная оценка [regular valuation] 451
Регулярное пространство [regular space] 25
Регулярный элемент [regular element] 158
Результат подстановки [result of substitution] 180
Решетка [lattice] 44
Решетка [lattice] вырожденная [degenerate] 61 93
Решетка [lattice] дистрибутивная [distributive] 62
Решетка [lattice] импликативная [relatively pseudo-complemented] 73
Решетка [lattice] множеств [set] 47
Решетка [lattice] одноэлементная [one-element] 93
Решетка [lattice] полная [complete] 55
Решетка [lattice] стоуновская [Stone] 65
Решеточный [lattice] гомоморфизм [homomorphism] 47
Решеточный [lattice] изоморфизм [isomorphism] 151
Ригер [Rieger, L.] 284 338 420 422 443 446 453—455
Робинсон, А. [Robinson, A.] 12 188 358 359 561
Робинсон, Р. [Robinson, R.M.] 369
Россер [Rosser, J.B.] 215 369 529
Роуз [Rose, G.F.] 441
Рылль-Нардзевский [Ryll-Nardzewski, C.] 229 319
Свободная [free] алгебра [algebra] 34
Свободная [free] индивидная переменная [individual variable] 181
Свободная [free] переменная [variable] составная [complex] 381
Сводимая эрбранова дизъюнкция [reducible Herbrand disjunction] 426
Свойство Бэра [Baire property] 106
Связанная [bound] индивидная переменная [individual variable] 181
Связанная [bound] переменная [variable] составная [complex] 381
Семантическая [semantic] модель [model] 298 332 441 479
Семантическая [semantic] модель [model] каноническая [canonical] 409
Семантическая [semantic] модель [model] ординарная [ordinary] 335
Семантическая [semantic] реализация [realization] 265 479
Семантическая [semantic] реализация [realization] знака равенства [of the sign of equality] 513
Семантический парадокс [semantic paradox] 173
Сепарабельное топологическое пространство [separable topological space] 138
Серпинский [Sierpinski, W.] 17 319
Сикорский [Sikorski, R.] 15 40 83 102 105—107 110 112 119 121 140 152 167 168 244 257 260 269 277 278 284 299 309 325 338 351 391 411 415 419 422 429 477 480 485 494 496 513 529 539 554 557—560
Сильно [strongly] компактная конечная [compact finite] псевдобулева алгебра [pseudo-Boolean algebra] 155
Сильно [strongly] компактная конечная [compact finite] топологическая булева алгебра [topological Boolean algebra] 131
Сильно [strongly] компактное топологическое пространство [compact topological space] 122
| Сильно [strongly] простая теория [prime theory] 238 504
Система  -образующих [of -generators] 363 498
Система -свободных образующих [of -free generators] 34 38
Система дедуктивная [deductive system] 179 212
Система свободных образующих [of free generators] 34 38
Система [set] образующих [of generators] 31 38
Скобки алфавита [parentheses of an alphabet] 182 196
Сколем [Skolem, T.] 232 338 387 398 406
Скотт [Scott, D.S.] 188 319 390 392 468
Следствие [consequence] интуиционистское [intuitionistic] 439 473
Следствие [consequence] логическое [logical] 204 209
Следствие [consequence] непосредственное [immediate] 210
Собственная эрбранова дизъюнкция [proper Herbrand disjunction] 427
Собственный [proper] идеал [ideal] 60
Собственный [proper] фильтр [filter] 60
Составная [complex] свободная переменная [free variable] 381
Составная [complex] связанная переменная [bound variable] 381
Составной [complex] терм [term] 382
Составной [complex] функтор [functor] 382
Сохраняет [preserves] объединение [the join] 54
Сохраняет [preserves] пересечение [the meet] 54
Спектор [Spector, C.] 561
Специальная аксиома [specific axiom] 218
Специальный знак [specific sign] 224
Стоун [Stone, M.H.] 10 11 58 65 101 319 438 443
Стоуновская решетка [Stone lattice] 65
Стоуновский изоморфизм [Stone isomorphism] 65
Стоуновское [Stone] поле [field] 101
Стоуновское [Stone] пространство [space] 65
Строгая импликация [strict implication] 540
Структура с относительными псевдодополнениями 561
Сужение [restriction] 18
Существенное расширение [essential extension] 237
Схема [schema] 305 346
Сходиться [converge] 123
Счетная [enumerable] модель [model] 326 477
Счетная [enumerable] реализация [realization] 477
Счетная [enumerable] теория [theory] 336
Счетное [enumerable, countable] множество [set] 19
Счетный язык [enumerable language] 187 337
Тавтология [tautology] 192 197 202
Тавтология [tautology] предикатная [predicate] 200 202
Тавтология [tautology] предикатная [predicate] интуиционистская [intuitionistic] 477
Тавтология [tautology] предикатная [predicate] модальная [modal] 554
Тавтология [tautology] предикатная [predicate] позитивная [positive] 537
Тавтология [tautology] пропозициональная [propositional] 192 194 197 198
Тавтология [tautology] пропозициональная [propositional] интуиционистская [intuitionistic] 441
Тавтология [tautology] пропозициональная [propositional] модальная [modal] 544
Тавтология [tautology] пропозициональная [propositional] позитивная [positive] 533
Такэути [Takeuti, G.] 188
Тарский [Tarski, A.] 11 12 73 105 112 120 121 129 132 134 153 155 156 158 167 168 188 212 215 244 247 283 284 313 314 316 317 319 325 361 362 367 369 390 393 398 419 438 443 446 448 449 453 549 551 552
Теорема [theorem] 179 218 296 322 377 439 473 531 541
Теорема [theorem] Бэра [Baire] 26 142 358
Теорема [theorem] Геделя о неполноте [Goedel incompleteness] 369
Теорема [theorem] Геделя о полноте [Goedel completeness] 340
Теорема [theorem] Кантора — Бернштейна [Cantor — Bernstein] 233
Теорема [theorem] Куратовского — Цорна 43
Теорема [theorem] Левенгейма — Сколема [Loewenheim — Skolem] 338
Теорема [theorem] о дедукции [deduction] 313 361 423 458 496 520
Теорема [theorem] о полноте [completeness] для интуиционистских [for intuitionistic] предикатных исчислений [predicate calculi] 485
Теорема [theorem] о полноте [completeness] для интуиционистских [for intuitionistic] пропозициональных исчислений [propositional calculi] 443
Теорема [theorem] о полноте [completeness] для модальных [for modal] предикатных исчислений [predicate calculi] 558
Теорема [theorem] о полноте [completeness] для модальных [for modal] пропозициональных исчислений [propositional calculi] 548
Теорема [theorem] о полноте [completeness] для позитивных [for positive] предикатных исчислений [predicate calculi] 538
Теорема [theorem] о полноте [completeness] для позитивных [for positive] пропозициональных исчислений [propositional calculi] 535
Теорема [theorem] о полноте [completeness] для предикатных исчислений [for predicate calculi] 340
Теорема [theorem] о полноте [completeness] для пропозициональных исчислений [for propositional calculi] 298
Теорема [theorem] об элиминации кванторов в формальных доказательствах [on elimination of quantifiers in formal proofs] 380 518
Теорема [theorem] Цермело 561
Теории эквивалентные [equivalent theories] 237
Теория [theory] 296 322 439 473
Теория [theory] богатая [rich] 353
Теория [theory] булевых алгебр [of Boolean algebras] 226
Теория [theory] групп [of groups] элементарная [elementary] 227
Теория [theory] дистрибутивных решеток [of distributive lattices] 226
Теория [theory] интуиционистская [intuitionistic] 437 439 472
Теория [theory] интуиционистская [intuitionistic] конструктивная [constructive] 505
Теория [theory] конструктивная [constructive] 505
Теория [theory] линейного порядка [of linear ordering] 225
Теория [theory] максимальная [maximal] 238
Теория [theory] множеств [set] 229
Теория [theory] модальная [modal] нулевого порядка [of the zero order] 541
Теория [theory] модальная [modal] первого порядка [of the first order] 541
Теория [theory] направленных множеств [of directed sets] 226
Теория [theory] непротиворечивая [consistent] 235
Теория [theory] открытая [open] 240
Теория [theory] позитивная [positive] нулевого порядка [of the zero order] 531
Теория [theory] позитивная [positive] первого порядка [of the first order] 531
Теория [theory] полная [complete] 238
Теория [theory] порядка [of ordering] 225
Теория [theory] предпорядка [of quasi-ordering] 225
Теория [theory] простая [prime] 238 504
Теория [theory] решеток [lattice] 226
Теория [theory] сильно простая [strongly prime] 238 504
Теория [theory] со знаком равенства [with the sign of equality] 224
Теория [theory] содержит знак равенства [contains the sign of equality] 224
Теория [theory] счетная [enumerable] 336
Теория [theory] формализованная [formalized] 174 179
Теория [theory] элементарная [elementary] 218
Теория [theory], основанная [based] на двузначной логике [on two-valued logic] 222
Теория [theory], основанная [based] на классической логике [on classical logic] 222
Теория [theory], полученная [obtained] одновременным принятием определений [by simultaneously assuming all the definitions] 243
Теория [theory], полученная [obtained] принятием [by assuming] неявного определения функтора [the implicit definition of the functor] 242
Теория [theory], полученная [obtained] принятием [by assuming] определения предиката [the definition of the predicate] 241
Теория [theory], полученная [obtained] принятием [by assuming] явного определения функтора [the explicit definition of the functor] 242
Теория [theory], полученная [obtained] элиминацией [by he elimination] всех начальных кванторов из аксиом [of all initial quantifiers from axioms] 526
Теория [theory], полученная [obtained] элиминацией [by he elimination] кванторов из аксиом [of quantifiers from axioms] 387
Терм [term] 175 183
Терм [term] примитивный [elementary] 183
Терм [term] составной [complex] 382
Терм [term] элементарный 184
Тождественная оценка [identity valuation] 272
Томпсон [Thompson, F.B.] 12
Топологическая [topological] булева алгебра [Boolean algebra] 112
Топологическая [topological] булева алгебра [Boolean algebra] сильно компактная [strongly compact] 131
Топологическая [topological] модель [model] 479 545 554
Топологическая [topological] подалгебра [subalgebra] 114
Топологическая [topological] реализация [realization] 479 554
Топологически полное топологическое пространство [topologically complete topological space] 141
Топологический гомоморфизм [topological homomorphism] 117
Топологический изоморфизм [isomorphism] 117
Топологическое [topological] подпространство [subspace] 27
Топологическое [topological] поле [field] множеств [of sets] 112
Топологическое [topological] поле [field] подмножеств [of subsets] 112
Топологическое [topological] пространство [space] 19
Топологическое [topological] пространство [space] сепарабельное [separable] 138
Топологическое [topological] пространство [space] сильно компактное [strongly compact] 122
Топологическое [topological] пространство [space] топологически полное [topologically complete] 141
Точная верхняя граница [least upper bound] 42
Точная нижняя граница [greatest lower bound] 42
Трачик [Traczyk, T.] 15
Трехзначная логика [3-valued logic] 215 529
Тюркетт [Turquette, A.R.] 215 529
Унарная пропозициональная связка [unary propositional connective] 176 181 196
Универсальная алгебра [abstract algebra] 30
Универсальная алгебра [abstract algebra] обобщенная [generalized] 37
Универсальная алгебра [abstract algebra] обобщенная [generalized] полная [complete] 37
Уоллес [Wallace, A.D.] 119
Упорядоченное множество [ordered set] 42
Фактор-алгебра [quotient algebra] 34
Феферман [Feferman, S.] 105
Фильтр [filter] 57
Фильтр [filter] главный [principal] 58
Фильтр [filter] единичный [unit] 58
Фильтр [filter] максимальный [maximal] 60
Фильтр [filter] простой [prime] 61
Фильтр [filter] собственный [proper] 60
Фильтр [filter], порожденный [generated] множеством [by a set] 59
Фильтр [filter], порожденный [generated] элементом [by an element] 58
Фильтр [filter], присоединенный к идеалу [the adjoint of an ideal] 95
|
|
|
| Реклама |
|
|
|
|
|
О проекте