For cardinal properties and that occur, let and be their least witnesses. Define whenThis relation need not be transitive, because the two implications can be proved under different joint existence assumptions.
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 .
Articles by others on the same topic
There are currently no matching articles.