Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-116/2/c/solution
Past exam of the mathematics course of the University of Cambridge 2022 iii Paper 116 2 c Solution by
Codex 0 2026-09-28
Let , , and mean respectively that is inaccessible, weakly compact, and measurable. Define a fourth cardinal propertyTake , , and .
If inaccessible and weakly compact cardinals exist, Question 1a shows that an inaccessible lies below every weakly compact cardinal. Thus . If and both hold, then is exactly measurability. Every measurable cardinal is weakly compact, and the usual ultrapower reflection theorem gives weakly compact cardinals below every measurable cardinal. Therefore .
Now assume the consistency of ZFC with an inaccessible cardinal but no weakly compact cardinal. In such a model is exactly , soConsequently . This is an explicit nontransitivity of the least-occurrence order on cardinal properties, even though and .
New to topics? Read the docs here!