Normann D. — Recursion on the Countable Functionals :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Normann D. — Recursion on the Countable Functionals

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

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

Название: Recursion on the Countable Functionals

Автор: Normann D.

Язык:

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

Серия: Lecture Notes in Mathematics

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

ed2k: ed2k stats

Издание: 1st edition

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

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

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

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

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

$S^{n}_{m}$ -theorem      12
$\mu$ -recursive in      96
$\overrightarrow{t}$ -operational index      143
Associate      32 37
Bounded      65
Closed under computation      23
Coded computations      135
Compact-open topology      71
Computable      13
Computation tree      11
Computation tuple      7
Cone      81
Continuous functional      37
Continuously bounded      65
Countable functional      37
Degree      81
Envelope      14
Equicontinuous      67
Fan-functional      102
Filter      74
Filter space      75
Initial computations      11
Irreducible      81
Kalmar Rank      84
Kleene computation      7
Length of computation      10
Level      3

Limit space      60
Maximal type-structure      3 23
Minimal degree      82
Modulus      86
Modulus functional      63
n'th approximation to $\{e\}(\psi)$       145
Non-obtainable      82
normal      19 21
Primitive recursive      12
Principal associate      33
Push up/down operators      5
Recursion theorem      12
RECURSIVE      13
Recursively countable, Recursive      42
Restricted associate      112
Sections      14
Semiassociate      176
Semicomputable      14
Semirecursive      14
Strongly continuous      169
Subcomputations      11
T-predicate      85
Trace      125
TREE      28
Type-structure      23
Type-symbol      2
Weakly continuous      169
Well-founded      28

О проекте