Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-19/5/iv/b/solution

For every infinite , the generic union at coordinate gives a function . The requirement to assign is dense for each , and the requirement to use any specified value is dense by assigning it at a fresh natural-number position. Therefore is a surjection, and every ordinal below becomes countable.
The -chain condition preserves the regularity of . For a direct verification, a forcing name for a function from some into has fewer than possible values at each coordinate, using a maximal deciding forcing antichain. The union of these possible-value sets has size less than by regularity and is bounded in . No such function can be cofinal. In particular remains uncountable, while every smaller ordinal is countable. Hence
This is the finite Lévy collapse to omega-one.

New to topics? Read the docs here!