Solution

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

Use one label for each member of . More explicitly, set
An infinite branch through this tree has a constant first coordinate and second coordinate , so . Thus is -Suslin. Since injects into a set of cardinality , part i makes a -Suslin set. This proves that Every set of reals is continuum-Suslin.

New to topics? Read the docs here!