Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 24 1 c Solution Created 2026-10-03 Updated 2026-10-06
On , declare when their symmetric difference is finite. Use the well-ordering theorem to choose one representative from each equivalence class, and color byRemoving 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 relationThe slashed arrow in the PDF is essential.