Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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?

share|improve this question
5  
alephomega -- the large cardinal axioms in that list do not always imply one another, they are just ordered in terms of the consistency strength. See for example the discussion mathoverflow.net/questions/12804/… showing how a non-logician (myself in that case) can get a bit confused about this. Some of those axioms however do imply some other axioms, as explained in Joel Hamkins's answer in that thread. –  algori Jul 29 '10 at 23:34
    
Thanks for the link algori. –  Carlo Von Schnitzel Jul 30 '10 at 0:50
1  
In the light of algori's comment, the question should be: Is there some statement A that is consistent with ZFC (which we cannot prove, but believe in) such that Con(ZFC+A) implies Con(ZFC) and Con(ZFC+A) does not imply the consistency of one of the usual large cardinals and is not implied by the consistency of one of the usual large cardinals? –  Stefan Geschke Jul 30 '10 at 21:04
    
@Stefan, thank you for the clarification, this is exactly what I had in mind, I used the wrong formulation. It is possible? Except CH, is there such principles? I don't know if MA is a candidate because I don't know if it follows from some other statement, I only know you can force its truth by iteration with finite support. –  Carlo Von Schnitzel Jul 30 '10 at 23:17
    
Well, both MA and CH have no consistency strength over ZFC. The consistency of either statement follows from the consistency of ZFC. But you are right, CH and MA are both examples for the kind of statements that you are looking for. That is why I said that you should not look for actual implications but for implications of consistency. –  Stefan Geschke Aug 1 '10 at 10:14
add comment

2 Answers 2

up vote 8 down vote accepted

By the well-known Levy-Solovay theorem, large cardinal properties are preserved under "small" forcing. Therefore CH is an assumption above ZFC which is not settled by large cardinal axioms.

share|improve this answer
    
I am going to look up this theorem, this sounds great. So large cardinals are absolute for certain types of forcing and for generic extensions, if I understand your answer. –  Carlo Von Schnitzel Jul 30 '10 at 0:48
    
What exactly do you mean by "above ZFC"? Does not follow from ZFC and is consistent with, or the statement in question is consistent with ZFC and this consistency does not follow from the consistency of CH? –  Stefan Geschke Jul 30 '10 at 20:58
    
@Stefan, yes by "above ZFC", I mean is not provable from ZFC but can be consistent with, which actually prompts another question: are there non trivial statements of cardinal arithmetic which are "in between" CH and ZFC, that is cardinal arithmetic statements provable when you add CH to ZFC but not provable from ZFC alone? Because presumably, CH does not say anything about singular cardinals for instance or even about –  Carlo Von Schnitzel Jul 30 '10 at 23:07
    
Well, I can't really think of a cardinal arithmetic statement that follows from CH but not from ZFC, except for CH itself, of course. There are interesting theorems like Silver's theorem, though: If $\kappa$ is a singular cardinal of uncountable cofinality and for all $\lambda<\kappa$, $2^\lambda=\lambda^+$ (GCH holds below $\kappa$), then $2^\kappa=\kappa^+$. –  Stefan Geschke Aug 1 '10 at 10:04
    
It is true that Silver's Theorem is an example but it is implied by the GCH below a singular of uncountable cofinality not by CH alone. –  Carlo Von Schnitzel Aug 3 '10 at 7:56
show 1 more comment

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.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.