Skip to main content
2 of 2
edited tags
Asaf Karagila
  • 39.8k
  • 8
  • 135
  • 283

Is injectivity of $2^{(\ldots)}$ weaker than $\mathsf{GCH}$?

The following statement cannot be proven in $\mathsf{ZFC}$:

(S) : If $A, B$ are sets with $|A| < |B|$, then $2^{|A|} = |{\cal P}(A)| < |{\cal P}(B)| = 2^{|B|}$.

Obviously, $\mathsf{GCH}$ implies (S). Does (S) imply $\mathsf{GCH}$ too?