A generalized Cantor theorem in ZF

Yinhe Peng, Guozhen Shen

It is proved in $\mathsf{ZF}$ (without the axiom of choice) that, for all infinite sets $M$, there are no surjections from $\omega \times M$ onto $\mathcal{P}(M)$.