1 paper · 2 filters
Babak Jabbar Nezhad
Bishop's constructive mathematics school rejects the Law of Excluded Middle, but instead vastly makes use of weaker versions of the Choice. In this paper we pioneer an example, whi…