On Dividing by Two in Constructive Mathematics

MaRDI QIDQ6300267zbMATH OpenFDO

Authors Andrew Swan

Publication date 12 April 2018

Mathematics Subject Classification ID

Ordinal and cardinal numbers (03E10) Metamathematics of constructive systems (03F50) Categorical logic, topoi (03G30)

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 $Ximes2congYimes2$ then also $XcongY$. We show that this cannot be done in constructive mathematics by giving some examples of toposes where it fails.

This page was built for publication: On Dividing by Two in Constructive Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6300267)