Электронная библиотека Попечительского совета механико-математического факультета Московского государственного университета   Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум    Авторизация         Поиск по указателям Moldestad J. — Computations in Higher Types Обсудите книгу на научном форуме Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter Название: Computations in Higher Types Автор: Moldestad J. Язык: Рубрика: Математика/ Статус предметного указателя: Готов указатель с номерами страниц ed2k: ed2k stats Год издания: 1977 Количество страниц: 203 Добавлена в каталог: 18.08.2008 Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID Предметный указатель -structure      117 -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       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       17 156 Recursion structure      114 Recursion theorem      23 24 109 110 Recursion theorem for primitive recursive functions      24 Recursive in a below       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 -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 -computable functional      56 Weakly -finite set      57 Weakly partial recursive functional      23 110 WO-uniformization      137 Реклама        © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024 | | О проекте