3
$\begingroup$

Are there any fundamental/interesting results that are a consequence of assuming the continuum hypothesis as an additional axiom?

I'm sorry if this question was already asked. I'm also sorry if there is no rigour at all in the way I asked it.

Thanks!

  • 1
    Sierpinski's 1934 book **Hypothèse du Continu** (written in French) is devoted to equivalences and consequences of the continuum hypothesis. I don't know if there's a copy freely available on the internet, but the [Bulletin of the AMS review](http://www.ams.org/journals/bull/1936-42-05/S0002-9904-1936-06291-9/S0002-9904-1936-06291-9.pdf) of Sierpinski's book is freely available. I also don't know if there's an English translation, but [here](http://mathforum.org/kb/message.jspa?messageID=114012) is someone who has apparently translated some of it.2012-08-02

1 Answers 1

3

There are many cardinals which have aleph values undetermined in ZFC, but for which we can say that they are either infinite and less than continuum, or uncountable and no greater than continuum, both of which would immediately resolve their (aleph) value if we had CH.

Many of those can be resolved by the somewhat weaker Martin's axiom. It is strictly weaker than CH (if ZFC is consistent, so is ZFC with the axiom and the statement that $\mathfrak c=\omega_2$, but CH implies it by Rasiowa-Sikorski lemma).

For the consequences of Martin's axiom, a good source is David Fremlin's book aptly named "Consequences of Martin's Axiom". Quite many of the results in this book are somewhat trivial if you assume CH, though, if I recall correctly...

  • 1
    Many of the consequences of MA apply to uncountable cardinals in the interval $(\omega,\frak c)$. Assuming CH simply makes this interval become empty... conclusion: CH makes a lot of things boring. (On the other hand, it makes combinatorics easier)2012-08-02