|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Расёва Е., Сикорский Р. — Математика метаматематики |
|
|
|
| Предметный указатель |
Форма предваренная [prenex form] 383
Формализованная [formalized] дедуктивная система [deductive system] 179
Формализованная [formalized] теория [theory] 174 179
Формализованная [formalized] теория [theory], основанная [based] на двузначной логике [on two-valued logic] 222
Формализованная [formalized] теория [theory], основанная [based] на классической логике [on classical logic] 222
Формализованный язык [formalized language] нулевого порядка [of the zero order] 197
Формализованный язык [formalized language] первого порядка, основанный на данном алфавите [of the first order based on an alphabet] 184
Формализованный язык [formalized language] пропозиционального исчисления [of a prorositional calculus] 197
Формальное доказательство [formal proof] 211 295 321 439 473
Формальный вывод [formal proof] 295 321 439 473
Формальный вывод [formal proof] интуиционистский [intuitionistic] 439 473
Формула [formula] 178 183 184 196 295 321 438 472
Формула [formula] выводимая [derivable] 211 296 322 439 473
Формула [formula] выполнимая [satisflable] 325 476
Формула [formula] доказуемая [derivable] 216 296 322 439 473 531 541
Формула [formula] замкнутая [closed] 178
Формула [formula] интуиционистски [intuitionistically] выводимая [derivable] 439 473
Формула [formula] интуиционистски [intuitionistically] доказуемая [derivable] 439 473
Формула [formula] интуиционистски [intuitionistically] общезначимая [valid] 441 477
Формула [formula] модально [modally] доказуемая [derivable] 541
Формула [formula] модально [modally] общезначимая [valid] 544 554
Формула [formula] неопровержимая [irrefutable] 239
Формула [formula] неразложимая [indecomposable] 305 346
Формула [formula] общезначимая [valid] 297
Формула [formula] опровержимая [refutable] 239
Формула [formula] открытая [open] 240
Формула [formula] позитивно [positively] доказуемая [derivable] 531
Формула [formula] позитивно [positively] общезначимая [valid] 533 537
Формула [formula] предваренная [prenex] 383
Формула [formula] примитивная [primitive] 183
Формула [formula] разложимая [decomposable] 346
Формула [formula] фундаментальная [fundamental] 309 351
Формула [formula] экзистенциальная [existential] 240
Формула [formula] элементарная [elementary] 177 184
Формула [formula], общезначимая [valid] в булевой алгебре [in a Boolean algebra] 297
Формула [formula], общезначимая [valid] в импликативной решетке [in a relatively pseudo-complemented lattice] 533
Формула [formula], общезначимая [valid] в псевдобулевой алгебре [in a pseudo-Boolean algebra] 441
Формула [formula], общезначимая [valid] в реализации [in a realization] 325 477 537 553
Формула [formula], общезначимая [valid] в топологической булевой алгебре [in a topological Boolean algebra] 544
Формула [formula], полученная элиминацией [obtained by elimination] всех начальных кванторов [of all initial quintifiers] 525
Формула [formula], полученная элиминацией [obtained by elimination] кванторов [of quantifiers] 386
Формула [formula], полученная элиминацией [obtained by elimination] первого квантора [of the first quantifier] 386 524
Формулы [formulas] конгруэнтные [congruent] 256
Фреге [Frege, G.] 174 220 300
Фрейн [Frayne, T.E.] 390
Френкель [Fraenkel, A.A.] 17 172 229 563 564
Фундаментальная [fundamental] последовательность [sequence] 305 346
Фундаментальная [fundamental] формула [formula] 309 351
Функтор [functor] 175 181
Функтор [functor] m-местный [m-argument] 175 181
Функтор [functor] составной [complex] 382
Функциональное отношение [function relation] 231
Функция [function] 18
Хазенъегер [Hasenjaeger, G.] 338 358
Халмош [Haimos, P.] 12
Хантингтон [Huntington, E.V.] 83
Ханф [Hanf, W.] 12
Характеристика [characteristic] 200
Характеристическая [characteristic] оценка [valuation] 465
Характеристическая [characteristic] реализация [realization] 506
Хаусдорф [Hausdorff, F.] 17
| Хаусдорфово пространство [Hausdorff space] 24
Хенкин [Henkin, L.] 12 188 277 284 290 319 338 358 398 474 476 485
Хермес [Hermes, H.] 44 83
Цао Чен [Tsao-Chen Tang] 549
Цепь [chain] 43
Цепь [chain] идеалов [of ideals] 60
Цепь [chain] фильтров [of filters] 60
Цермело [Zermelo, E.] 229 561 563 564
Цорн [Zorn, M.] 43
Чандрасекхаран [Chandrasekharan, K.] 290
Часть [part] 179
Черч [Church, A.] 345 564
Чех [Cech, E.] 26
Число аргументов [number of arguments] 30
Шварц, А.С. 140
Шмульян [Smullyan, R.] 369
Шютте [Schuette, K.] 309 351 561
Эквивалентные [equivalent] поля [fields] 93
Эквивалентные [equivalent] теории [theories] 237
Экзистенциальная формула [existential formula] 240
Элемент [element] 17
Элемент [element] единичный [unit] 48
Элемент [element] замкнутый [closed] 113
Элемент [element] максимальный [maximal] 42
Элемент [element] минимальный [minimal] 42
Элемент [element] наибольший [greatest] 42
Элемент [element] наименьший [least] 42
Элемент [element] нулевой [zero] 48
Элемент [element] открытый [open] 113
Элемент [element] плотный [dense] 114 156
Элемент [element] плотный [dense] в алгебре [in an algebra] 114
Элемент [element] регулярный [regular] 158
Элементарная [elementary] теория [theory] 218
Элементарная [elementary] теория [theory] групп [of groups] 227
Элементарная [elementary] формула [formula] 177 184
Элементарный [elementary] терм 184
Элементарный [elementary] формализованный язык, основанный на алфавите [formalized language based on an alphabet] 184
Элементарный [elementary] язык [language] 188
Элиминация [elimination] всех начальных кванторов [of all initial quantifiers] 525
Элиминация [elimination] всех начальных кванторов [of all initial quantifiers] в аксиомах [in axioms] 526
Элиминация [elimination] кванторов [of quantifiers] 386
Элиминация [elimination] кванторов [of quantifiers] из аксиом [from axioms] 387
Элиминация [elimination] первого квантора [of the first quantifier] 386 524
Эрбран [Herbrand, J.] 313 338 361 431 566
Эрбранова [Herbrand]  -дизъюнкция [-disjunction] 427
Эрбранова [Herbrand] дизъюнкция [disjunction] 425
Эрбранова [Herbrand] дизъюнкция [disjunction] наследственно сводимая [hereditarily reducible] 426
Эрбранова [Herbrand] дизъюнкция [disjunction] сводимая [reducible] 426
Эрбранова [Herbrand] дизъюнкция [disjunction] собственная [proper] 427
Эренфойхт [Ehrenfeucht, A.] 400 402 419
Язык [language] высшего порядка [of higher order] 188
Язык [language] модальный [modal] 540
Язык [language] неэлементарный [non-elementary] 188
Язык [language] нулевого порядка [of the zero order] 197
Язык [language] открытых формул [of open formulas] 240
Язык [language] первого порядка [of the first order] 188
Язык [language] пропозиционального исчисления [of a propositional calculus] 197
Язык [language] счетный [enumerable] 187 337
Язык [language] элементарный [elementary] 188
Язык [language] элементарный [elementary] формализованный [formalized] 184
Яськовский [Jaskowski, S.] 446
|
|
|
| Реклама |
|
|
|
|
|
О проекте