Book contents
- Frontmatter
- Introduction
- Contents
- 1 Computability
- 2 Functions and Relations
- 3 The Basic Machine
- 4 Macros
- 5 Closure Properties
- 6 Definitions of Recursive Functions
- 7 Codes
- 8 Indices
- 9 Church's Thesis
- 10 Word Problems
- 11 Undecidable Theories
- 12 Relative Recursion
- 13 The Arithmetical Hierarchy
- 14 Recursively Enumerable Relations
- 15 Degrees
- 16 Evaluation of Degrees
- 17 Large RE Sets
- 18 Functions of Reals
- 19 The Analytical Hierarchy
- 20 The Projective Hierarchy
- Suggestions for Further Reading
- Index
8 - Indices
Published online by Cambridge University Press: 24 March 2017
- Frontmatter
- Introduction
- Contents
- 1 Computability
- 2 Functions and Relations
- 3 The Basic Machine
- 4 Macros
- 5 Closure Properties
- 6 Definitions of Recursive Functions
- 7 Codes
- 8 Indices
- 9 Church's Thesis
- 10 Word Problems
- 11 Undecidable Theories
- 12 Relative Recursion
- 13 The Arithmetical Hierarchy
- 14 Recursively Enumerable Relations
- 15 Degrees
- 16 Evaluation of Degrees
- 17 Large RE Sets
- 18 Functions of Reals
- 19 The Analytical Hierarchy
- 20 The Projective Hierarchy
- Suggestions for Further Reading
- Index
Summary
- Type
- Chapter
- Information
- Recursion Theory , pp. 20 - 26Publisher: Cambridge University PressPrint publication year: 2017