Andrews P.B. — A transfinite type theory with type variables :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Andrews P.B. — A transfinite type theory with type variables

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: A transfinite type theory with type variables

Автор: Andrews P.B.

Язык:

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1965

Количество страниц: 154

Добавлена в каталог: 04.11.2012

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

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

$C_{\alpha}$       22
$F_{0}$       2 6
$J_{\alpha(0_{\alpha})}$       22
$K^{\gamma}$       xiv 1 9
$K_{+}^{1}$ , $K_{+}^{2}$       4
$N_{02}$       67
$O_{02}$       67
$P_{1}$       77
$Q^{\infty}$ , $Q_{0}^{\infty}$       139
$Q_{0}$       xv 1—3 79 139—140
$R_{0a}$ , $R_{0(0o)}$       65
$R_{22(222)2}$       75
$S_{22}$       67
$T_{0}$       2 6
$W_{\pi}$       10—11
$[Assign]_{0(22)}$       81 88
$[exp]_{222}$       77
$[Maps]_{022}$       81 87—88
$[Map]_{22}$       81 88
$[Mod]_{2222(22)}$       82 88
$[Prime > 22]_{02}$       78
$[True]_{02}$       83 99—100
$[TS]_{02}$       80 83—84
$[Value]_{022(22)}$       82 88—92
$[Val]_{22(22)}$       82 91—93
$[Variable]_{022}$       80 84
$[Var]_{02}$       80 84
$[Wff]_{022}$       80 84—85
$[Wf]_{02}$       81 85
$\exists$       6
$\forall$       2 6
$\mathcal{H}$       28
$\mathfrac{r}$ , $\mathfrac{r}_{\alpha}$       9 10
$\mathfrac{t}$       9
$\Phi_{022}$       81 86—87
$\Psi$       92—93
$\Sigma_{0}$ , $\Sigma_{1}$ , $\Sigma_{2}$       xii xiv
$\sim$       6
$\supset$       2 6
$\times$       77
$\vDash$       28
$\vee$       6
$\wedge$       2 6
*      77
+      76
=      2 6
>, $\ge$       4
ASSIGNMENT      9
Axioms      2—3 7—8 25—26 139
Bound      2 5
Bracket conventions      2 6 7
Bruner      xi
Bustamante      xi xii
Church      xiii-xv 2 23 29
Completeness      3
Consistency      8 9 19 139

Critical      23
Deduction Theorem      54
E-Rules      29
EE-Rules      61
f      9
Formation rules      1 4—6
free      2 5
Goedel      xii 140
Goedel numbers      xii 74 79 139
Henkin      xv 3 23
hilbert      xii
Independence      20—25
Induction theorem      73
infinity      x xi xiii xiv 26 67 72
Interpretation      3 8 9 93
Kemeny      xi xii
Keyser      xiii
L'Abbe      xi xii xiv
Length      9
Mathematics      x xiv 9
McKinsey      xi
Numbers      74 75 139
Parity      22
Peano's postulates      xi 74 139
Primitive recursive functions      75—78
Proof from hypotheses      28
Propositional wffs      43
q      xiii xv 3—8
Representative of a natural number      75 79
Rule C      40
Rule Exist      56 57
Rule Gen      36 44
Rule MP      40
Rule of Cases      40
Rule P      44
Rule R      2 7
Rule R'      29
Rule S      33 44
Rule Sub      37 45
Rule T      36
Russell      x xiii
Russell paradox      65
Scientific theories      ix x xiii
Semantical rules      83 92
Semantics      xii xiv 1 26 79 139
Set theory      x xiii xiv 9
Substitution notations      6 12 93
Tarski      xii 83 99
Tautology      43
Truth      83 99 139
Type symbols      xii xiv 1 4 9 23 79 80
Type theory      x xiii xv 1 26 79
Variables      xii xv 1 2 4 5
Whitehead      x xiii
[Consis]      139
[Infin]      139

О проекте