Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/iii/paper-116/2/c/solution

Let , , and mean respectively that is inaccessible, weakly compact, and measurable. Define a fourth cardinal property
Take , , 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 , so
Consequently . This is an explicit nontransitivity of the least-occurrence order on cardinal properties, even though and .

New to topics? Read the docs here!