On Dividing by Two in Constructive Mathematics
Abstract
A classic result due to Bernstein states that in set theory with classical logic, but without the axiom of choice, for all sets X and Y, if X × 2 Y × 2 then also X Y. We show that this cannot be done in constructive mathematics by giving some examples of toposes where it fails.
0