Nontransitivity of the least-occurrence order on cardinal properties

ID: nontransitivity-of-the-least-occurrence-order-on-cardinal-properties

Let mean inaccessible, weakly compact, and measurable, and define
Then and . Subject to the consistency of an inaccessible without a weakly compact cardinal, there is also a model in which , so .

New to topics? Read the docs here!