Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-128/3/d/solution

The forcing is -closed, so it adds no reals:
By contrast, is countable in . The union of the -generic filter is a total binary function
Fix in a bijection . Then is a real in . It is not in : for any ground-model real and any , some coordinate of is outside , and extending there forces to differ from . Hence adds a new real, and

New to topics? Read the docs here!