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
17 - Large RE Sets
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
![Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'](https://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Abook%3A9781316717011/resource/name/firstPage-9781316717011c17_p63-67_CBO.jpg)
- Type
- Chapter
- Information
- Recursion Theory , pp. 63 - 67Publisher: Cambridge University PressPrint publication year: 2017