1
$\begingroup$

What is the shortest formal statement you can write that is provably equivalent to the Continuum Hypothesis in ZFC?

Please use only variables and the following symbols: $\forall, \exists,\lor,\land,\neg,\to, \in,=$ (parentheses may be added for convenience and do not contribute to the length of the formula). For example, symbols and expressions like $\subset,\emptyset,\{\dots\},\aleph_0,\mathcal{P}(x)$ are not allowed for purposes of this problem. Please give references if equivalence of your statement with $CH$ is not immediately obvious.

$\endgroup$
9
  • 22
    $\begingroup$ Why does it matter? $\endgroup$ Dec 3, 2011 at 7:43
  • 2
    $\begingroup$ I agree that some motivation for this question would be useful. For example, if you are really asking about defining $\aleph_1$ simply then there are various equivalents of CH that do not need this. $\endgroup$ Dec 3, 2011 at 12:35
  • 3
    $\begingroup$ When asking this question, I hoped that there is a particularly nice and short formulation that can help me to build better intuition about CH. $\endgroup$ Dec 3, 2011 at 21:04
  • 16
    $\begingroup$ Vladimir, such a motivation seems misguided; it would be like trying to understand how an algorithm works by looking only at the shortest possible version of it in assembly language. Of course, one wants to think about it instead in terms of higher-level defined concepts, and there is no reason not to do so. I discuss a similar issue in mathoverflow.net/questions/12370/…. $\endgroup$ Dec 3, 2011 at 23:11
  • 3
    $\begingroup$ I have to fight with all my might to not post "Your Mom." $\endgroup$
    – Not Mike
    Dec 10, 2011 at 5:22

1 Answer 1

6
$\begingroup$

I don't know if this is the shortest (number of symbols?) but in

D. Scott, "A Proof of the Independence of the Continuum Hypothesis", THEORY OF COMPUTING SYSTEMS, Volume 1, Number 2. Available at: http://www.springerlink.com/content/hh339022jt1m5183/

there is (at the bottom of page 1) a concise formulation of CH. The sentence actually uses the symbol $\mathbb{N}$ for the natural numbers, but you can get rid of it of course.

$\endgroup$
2
  • 3
    $\begingroup$ Scott's sentence involves quantifiers $\forall X$ and $\forall f$. He explains in the preceding paragraph that $X$ is understood to be a subset of $\mathbb{R}$, and $f$ is understood to be a function $\mathbb{R}\to\mathbb{R}$. If these assumptions were made explicit then the sentence would become very much longer. $\endgroup$ Dec 3, 2011 at 11:14
  • 1
    $\begingroup$ Yes sure, you are right. Scott's also goes on in the second page explaining how to use less concepts (subsets of reals can be seen as f:R->{0,1}, etc). But it is true this is not a direct answer to Vladimir's question. $\endgroup$
    – user11618
    Dec 3, 2011 at 13:10

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.