4 The theory of image-sets

image-sets of reals are endowed with rich structural properties, including those that are best understood from the perspective of the constructible universe L. In this chapter a deeper analysis of such sets is presented to elucidate this point.

4.1 A image-basis theorem

4.1.1 Tree presentations for image-sets

Recall that given a -set A ⊆ 2ω, there ...

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.