 -theorem 12
 -recursive in 96
 -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  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
|
|
|
О проекте