vix.ing · top · new · best · stats · spec

A generalized Cantor theorem in ZF

2021/10/31 by Peng, Yinhe, Shen, Guozhen
#03E25 #FOS: Mathematics #Logic (math.LO) #Primary 03E10

paper · doi:10.48550/arxiv.2111.00456

Abstract

It is proved in ZF (without the axiom of choice) that, for all infinite sets M, there are no surjections from ω× M onto \mathscrP(M).

Related