8
$\begingroup$

I'm trying to show that $(\beth_{\omega})^\omega=2^{\beth_\omega}$. This is an exercise in Kunen where he suggests to encode subsets of $\beth_\omega$ with functions from $\omega\rightarrow\beth_\omega$. Any help would be appreciated.

Thanks,

Cody

  • 0
    Can you give the *exact* reference, not just "Kunen"?2012-09-24
  • 0
    Oops, let me try that comment again. This is Exercise I.13.33 in the 2013 edition of Kunen's *Set Theory*. It actually asks you to show a little more: $(\beth_\omega)^\omega = \left|\prod_{n < \omega} \beth_n\right| = \beth_{\omega+1}$.2014-07-12

1 Answers 1