Skip to main content
1 of 3

A question about the comparability of large cardinals.

Are there any examples of two large cardinal axioms AX and AY, in the language of first order ZFC, which satisfy the following conditions. (1) Each of them defines a unique cardinal number-C(AX) for AX and C(AY) for AY-not like the axiom of measurable cardinals wich defines a whole collection of cardinal numbers. (2) If T denotes the theory ZFC+AX+AY, then T has not yet been proved inconsistent. (3) T proves that each of C(AX) and C(AY) is larger that the smallest strongly inacessible cardinal number. (4) The sentences of T stating that C(AX)<C(AY) and that C(AY)<C(AX) are each consistent with T, if T is consistent.