O'Reilly logo

Recursion Theory by Liang Yu, Chi Tat Chong

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

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

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required