Skip to main content
1 of 2
Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47

Which extension of ZFC proves that ZFC can only prove CH satisfied by the first two sets?

Which extension of $\sf ZFC$ prove that $$ {\sf ZFC} \not \vdash \exists x \, ( \operatorname {CH}(x) \land x \neq \emptyset \land x \neq 1)$$

Where $\operatorname {CH}(x) \iff \neg \exists \kappa \, (|x| < \kappa < |P(x)|) $

In English: $\sf ZFC$ doesn't prove the continuum hypothesis of any set other than the empty set and the singleton of the empty set.

Zuhair Al-Johar
  • 11.3k
  • 1
  • 13
  • 47