A result from PCF theory

There is a very curious theorem by Shelah which states that:

If for every natural number $n$ we have $2^{\aleph_n} < \aleph_{\omega}$ then, $2^{\aleph_{\omega}} < \aleph_{\omega_4}$.

Helen Frankenthaler, The Human Edge, 1967

An other way to state this is this one: if $\aleph_{\omega}$ is a strong limit cardinal then: $$\prod_{n=0}^{\infty} \aleph_n < \aleph_{\omega_4} $$

Leave a Reply

Your email address will not be published. Required fields are marked *