Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm currently trying to solve Exercise 5.27 of Jech's Set Theory (3rd Millennium ed.), viz:

If $2^{\aleph_1}=\aleph_2$, then $\aleph_{\omega}^{\aleph_0} \ne \aleph_{\omega_1}$.

The presumption is saying that there is no cardinal between $\aleph_1$ and $2^{\aleph_1}$ but I fail to see how this can be employed in this "negative computation" of $\kappa^{\operatorname{cf} \kappa}$ with $\kappa = \aleph_\omega$.

Any hints are much appreciated; I suspect that the right pointer will enable me to come up with a solution.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Hint: Use the fact that for $\alpha<\omega_1$ $\aleph_{\alpha}^{\aleph_1}= \aleph_{\alpha}^{\aleph_0}\cdot 2^{\aleph_1}$; exercise $5.19$ of the book, and the assumption $2^{\aleph_1}=\aleph_2$to conclude $\aleph_{\omega}^{\aleph_0}=\aleph_{\omega}^{\aleph_1}$, then use König's Theorem.

share|improve this answer
    
Thanks. It took me a few moments to figure out the last bit but I've got it now. I guess I was put off by the premise being very strong; we only actually used $2^{\aleph_1} < \aleph_\omega^{\aleph_0}$. –  Lord_Farin Mar 28 '13 at 15:32
    
@Lord_Farin you're welcome –  Camilo Arosemena Mar 28 '13 at 15:34

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.