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 defineThen 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!