Article contents
A GENERALIZED CANTOR THEOREM IN $\mathsf {ZF}$
Published online by Cambridge University Press: 14 March 2022
Abstract
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 $\operatorname {\mathrm {\mathscr {P}}}(M)$.
MSC classification
- Type
- Article
- Information
- Copyright
- © The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
- 1
- Cited by