A surjection from square onto power

Yinhe Peng, Guozhen Shen, Liuzhen Wu

It is shown that the existence of an infinite set $A$ such that $A^2$ maps onto $2^A$ is consistent with $\mathsf{ZF}$.