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!

  • 2
    A related thread: http://math.stackexchange.com/q/79346/53632012-08-02
  • 0
    There was a complex analysis theorem I saw, I think in "Proofs from the Book," that was true if and only if CH was true. I'd have to look it up, but the proof was fairly simple.2012-08-02
  • 2
    See some of the answers to [this MO question](http://mathoverflow.net/questions/1924/what-are-some-reasonable-sounding-statements-that-are-independent-of-zfc).2012-08-02
  • 5
    Ah, here is the question I was looking for. Let $\{f_\alpha\}$ be a family of analytic functions such that for each $z\in\mathbb C$, $\{f_\alpha(z)\}$ is countable. Does it follow that $\{f_\alpha\}$ is countable? If CH is false, the answer is "yes," if true, the answer is "no." http://www.renyi.hu/~p_erdos/1964-04.pdf2012-08-02
  • 0
    @ThomasAndrews: +1. Verrrry nice.2012-08-02
  • 0
    I'm not 100% sure what sort of answers you expect here. Either way, @t.b. linked to a similar thread in which I said most of what I have to say regarding "normal mathematics requiring CH".2012-08-02
  • 0
    What does "would" imply in the title? Are you suggesting that we could find out whether the continuum hypothesis is true? If so, in what sense? If not, I think it should say "What *does* the continuum hypothesis imply?".2012-08-02
  • 0
    @joriki : it should say "does".2012-08-02
  • 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