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

7.3.2 A transfinite Posner–Robinson Theorem

Theorem 7.3.1 may be iterated into the transfinite in several different ways. Here is the first version.

Theorem 7.3.2. (Slaman and Steel [142]). Let 0 < image and let z be a real such that image(γ) <T z for each γ<β. Then there is a g such that gzT g(β).

The rest of the section is devoted to a proof of Theorem 7.3.2.

Let aimage. The first step is to introduce an enumeration of arithmetical predicates indexed by ...

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