Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-121/3/iv/a/solution
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 121 3 iv a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-05
A cardinal-preserving forcing over leaves every ground-model cardinal number a cardinal in every generic extension. In the present notation, for every -generic filter and every ordinal ,Set forcing preserves ordinals, and an old bijection witnessing that an ordinal is not a cardinal remains available. Thus this condition also means that the two models have exactly the same cardinals. Cardinality here is computed inside the respective models, not from their external sizes.
New to topics? Read the docs here!