paper

A generalized Cantor theorem in ZF

arXiv:2111.00456 · doi:10.1017/jsl.2022.22

Abstract

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

8 pages

References in corpus (1)