A surjection from square onto power

2022/07/27 by Peng, Yinhe, Shen, Guozhen, Wu, Liuzhen
#03E25 #FOS: Mathematics #Logic (math.LO) #Primary 03E35 #Secondary 03E10

paper · doi:10.48550/arxiv.2207.13300

Abstract

It is shown that the existence of an infinite set A such that A² maps onto 2^A is consistent with ZF.

Related

• A generalized Cantor theorem in ZF
• Strongest transformations
• Sums of two squares and a power
• What is the theory ZFC without power set?
• Introducing a nontrivial square_omega