Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-158/2/i/solution

Let be a Suslin representation of , and let be injective. Apply coordinatewise to the first coordinate of every node and put
The injectivity of ensures that a sequence is a branch of exactly when its first coordinate decodes to a branch of . Hence , proving that every X-Suslin set is -Suslin whenever injects into .

New to topics? Read the docs here!