Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|improve this question
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|cite|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


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.