Buchholz W. — Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies :: Электронная библиотека попечительского совета мехмата МГУ

Главная 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

Предметный указатель

$\alpha$ -stage      20
$\omega$ -rule      63
$\Phi$ -proof      21
$\Pi$ -class      161
$\sigma$ -class      161
$\theta$ -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 $\Sigma$ , $\Pi$ )      162 163
Choice principles      40
Classification axioms      83
Comprehension principle      38
Cut rank $(\mathrm{p}(\mathscr{D}))$       120
Degree of a formula (dg(F))      91
Depth of terms and formulas      119
Derivation of $\textrm{PL}_\mu$       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 $\textrm{PL}_\mu$       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 $\textrm{PL}_\mu$       156
Length of a formula (lg(B))      179
Length of a sequent $(\textrm{lg}(\Gamma \supset \Delta))$       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

О проекте