TY  - RPRT
TI  - Cantor-Bernstein implies Excluded Middle
AU  - Cécilia Pradic
AU  - Chad E. Brown
PY  - 2022
UR  - https://arxiv.org/abs/1904.09193
ID  - 1904.09193
ER  -