Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2014/iii/paper-19/6/i/a/solution
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 19 6 i a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
A forcing collapses a cardinal over if it forces that the ground ordinal is no longer a cardinal: in the extension there is a bijection from some smaller ordinal onto . Equivalently there is a surjection onto from an ordinal whose ground cardinality is smaller. Forcing preserves the ordinal itself; collapse changes cardinality, not the identity of the ordinal. If the assertion is about one particular generic extension, the witnessing collapse is interpreted there; a forcing-wide assertion means it is forced by the weakest condition.
New to topics? Read the docs here!