2 Hyperarithmetic theory

In this chapter, we introduce the hyperarithmetic hierarchy and prove that the class of hyperarithmetic sets is precisely that of the image-sets. Hence the hyperarithmetic hierarchy provides the right framework for analyzing image and image-sets. This equivalence also allows one to perform transfinite induction over image-sets.

2.1 H-sets and

Get Recursion Theory now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.