2.5.2 Incomparable hyperdegrees

We apply the Gandy Basis Theorem to construct a pair of incomparable hyperdegrees.

Lemma 2.5.4. If A is a image-set containing a nonhyperarithmetic real, then A is uncountable.

Proof. Suppose that A is a countable image-set containing a nonhyperarithmetic real. Then the set B = {xA | xh image} is a nonempty image-subset of A. Hence there ...

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.