Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-24/1/c/solution

On , declare when their symmetric difference is finite. Use the well-ordering theorem to choose one representative from each equivalence class, and color by
Removing one point from a countably infinite set does not change its equivalence class and reverses this parity. For any of order type and , both and belong to and receive different colors. There is no homogeneous of order type . This proves the negative infinite-arity partition relation
The slashed arrow in the PDF is essential.

New to topics? Read the docs here!