Skip to main content
2 of 7
deleted 23 characters in body
Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64

Do $X$ and $Y$ have the same cardinality if so do the families of finite subsets of both sets?

Let $X$ and $Y$ be sets. It is undecidable in ZFC whether $2^{|X|} = 2^{|Y|}$ implies $|X| = |Y|$ (in Cohen's original model for ZFC + $\neg$CH, one has $2^{\aleph_0} = 2^{\aleph_1}$).

Question. Do $X$ and $Y$ have the same cardinality if so do the families of finite subsets of both sets?

I feel this must be either basic or very well known (to those who know it well).

Salvo Tringali
  • 10.5k
  • 2
  • 29
  • 64