2 Hyperarithmetic theory
In this chapter, we introduce the hyperarithmetic hierarchy and prove that the class of hyperarithmetic sets is precisely that of the 
-sets. Hence the hyperarithmetic hierarchy provides the right framework for analyzing and 
-sets. This equivalence also allows one to perform transfinite induction over -sets.
2.1 H-sets and
Get Recursion Theory now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
