For cardinal properties and that occur, let and be their least witnesses. Define when
This 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 define
Then 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 (0)

There are currently no matching articles.