Author | Sanchis, Luis E. author |
---|---|
Title | Reflexive Structures [electronic resource] : An Introduction to Computability Theory / by Luis E. Sanchis |
Imprint | New York, NY : Springer New York, 1988 |
Connect to | http://dx.doi.org/10.1007/978-1-4612-3878-2 |
Descript | XII, 233 p. online resource |
1 Functions and Predicates -- ยง1. Definitions -- ยง2. Numerical Functions -- ยง3. Finitary Rules -- ยง4. Closure Properties -- ยง5. Minimal Closure -- ยง6. More Elementary Functions and Predicates -- 2 Recursive Functions -- ยง1. Primitive Recursion -- ยง2. Functional Transformations -- ยง3. Recursive Specifications -- ยง4. Recursive Evaluation -- ยง5. Churchโs Thesis -- 3 Enumeration -- ยง1. Predicate Classes -- ยง2. Enumeration Properties -- ยง3. Induction -- ยง4. Nondeterministic Computability -- 4 Reflexive Structures -- ยง1. Interpreters -- ยง2. A Universal Interpreter -- ยง3. Two Constructions -- ยง4. The Recursion Theorem -- ยง5. Relational Structures -- ยง6. Uniform Structures -- 5 Hyperenumeration -- ยง1. Function Quantification -- ยง2. Nonfinitary Induction -- ยง3. Functional Induction -- ยง4. Ordinal Notations -- ยง5. Reflexive Systems -- ยง6. Hyperhyperenumeration -- References