Электронная библиотека Попечительского советамеханико-математического факультета Московского государственного университета
 Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум Авторизация Поиск по указателям     Buchholz W. — Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Обсудите книгу на научном форуме Нашли опечатку?Выделите ее мышкой и нажмите Ctrl+Enter Название: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies Автор: Buchholz W. Язык: Рубрика: Математика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1981 Количество страниц: 383 Добавлена в каталог: 10.07.2008 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель -stage      20 -rule      63 -proof      21 -class      161 -class      161 -term      172 (MRP-) reduction lemma      167 (RUB-) reduction lemma      169 Abstraction term      104 Accessible part      22 23 Application term      82 Applicative axioms      83 Bar induction      40 43 Bar rule      126 Bounded infinite conjunction      154 Bounded infinite disjunction      154 Boundedness lemma (for , )      162 163 Choice principles      40 Classification axioms      83 Comprehension principle      38 Cut rank 120 Degree of a formula (dg(F))      91 Depth of terms and formulas      119 Derivation of 155 Derivation, almost normal      156 Derivation, cut-free (normal)      156 Double-negation translation (DNT)      55 Elementary formula      81 Elimination of QF-AC      105 122 Embedding lemma      166 Fixed point      20 Formula of 155 Formula, arithmetic      42 Formula, essentially prenex      42 Formula, negative (Neg)      26 Formula, positive (Pos)      27 Formula, PR      39 Formula, weak      50 Graph principle (GP)      38 i.d. class      17 i.d. class, generalized      30 Inductive definition, accessibility      22 Inductive definition, elementary      25 27 Inductive definition, iterated (elementary)      29 31 Inversion lemma      101 103 122 161 183 Length of a derivation of 156 Length of a formula (lg(B))      179 Length of a sequent 179 Length of formulas      120 Local embedding lemma      165 Logical reflection principle      171 Markov's rule      57 Mathematical reflection principle      164 186 Normalization theorem      160 Operator (form)      27 Operator (form), definable      25 32 Operator (form), monotone      19 Operator (form), positive      27 30 Operator (form), strictly positive      36 Operator (form), superpositive      36 Operator theory, infinitary      108 Operator theory, Skolem      108 Recursion lemma      151 Reduction Theorem      183 Reflection principle (partial)      54 59 76 Restricted upper bound principle      168 rule set      29 Rule set, deterministic      22 23 Special normalization lemma      157 Truth definition (partial)      60 Реклама     © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021 | | О проекте