Looking at the chart of cardinals in Kanamori's book, one realizes that all large cardinals are implied by stronger ones and imply weaker ones. For instance measurable implies Jonsson which implies zero sharp which implies weakly compact which implies Mahlo which implies inaccessible. So it seems as if all these large cardinal assumptions are linearly ordered by consistency strength. Is there a some assumption above ZFC that is not implied by and does not imply any of the linearly ordered large cardinals?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

By the wellknown LevySolovay theorem, large cardinal properties are preserved under "small" forcing. Therefore CH is an assumption above ZFC which is not settled by large cardinal axioms. 


Woodin's Ωconjecture implies that all large cardinal axioms are well ordered under the relation ``its consistency implies the consistency of''. See his paper in the Notices 2001/7. For this, of course, he does define what a large cardinal is. 

