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

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

blank
blank
blank
Красота
blank
Moldestad J. — Computations in Higher Types
Moldestad J. — Computations in Higher Types



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



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


Название: Computations in Higher Types

Автор: Moldestad J.

Язык: en

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

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

ed2k: ed2k stats

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$(\tau,a)$-structure      117
$S^{n}_{m}$-property      55 109
a-constructive ordinal      120
a-constructive ordinal in M      123
a-gap      120
a-gap in M      123
a-reflecting ordinal      69 127
a-reflection to $\zeta$      135
Absolute recursion structure      115
Abstract Kleene theory      60
Closed term      160
Code      114 140
Code of a type symbol      151
Coding scheme      14
Combination      160
Combinator      160
Computable function      54
Computable ordinal function      99 100
Computable relation      58
Computation      21
Computation domain      15
Computation theory      54
Computation tree      22
Constructible hierarchy (L)      138
Convergent computation      21 55
Decode of a type structure      113
Determinacy      147
Diagonalization      55
Divergent computation      21 55
Domain of prewellordering      64
Enumeration      113
Explicit definition      160
Factor of a type symbol      150
First recursion theorem      23 110
Functional      18
Further reflection      72
Hereditarily finite set      139
Hereditarily-consistent object      151
Immediate subcomputation      21 22
INDEX      54 56
Individual      2 15
Kleene recursion      26 50
Length of a computation      55
Mahlo      97 99
Monotone partial functional      23 110
Norm      58 62
Normal computation theory      64
Normal list      34
Normal ordinal function      99
Ordinary uniformization      138
p-normal computation theory      59
Partial functional      23 110
Partial object      151
Partial recursive function      20 28 29
Partial recursive functional      23
Prewellordering      64 119
Primitive recursive function      17 18 20 28 29
Property 1      97 99
Property 2      97
Pure type symbol      150
Recursion on $\mathfrak{A}$      17 156
Recursion structure      114
Recursion theorem      23 24 109 110
Recursion theorem for primitive recursive functions      24
Recursive in a below $\alpha$      121
Reduction Theorem      180 185
Regular ordinal      99 100
S-type-structure      112
SCALE      138
Second order admissible structure      138
Second recursion theorem      24 109
Selection operator for numbers      36 58 111
Selection operator for subindividuals      43
Semicomputable relation      58 99
Signature of type symbols      151
Simple reflection      69
Special type symbol      151
Strictly countable ordinal      137
Strongly $\Theta$-finite set      57
Subbindividual      2 15
Subcomputation      22
Subconstructive ordinal      77 78
Substitution      54 166
Total object      151
Type language      112
type structure      112
Type symbol      150
Typed term      160
Uniformization      137 138
Universe      15
Weakly $\Theta$-computable functional      56
Weakly $\Theta$-finite set      57
Weakly partial recursive functional      23 110
WO-uniformization      137
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2021
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте