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
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