Equality and equivalence, intuitionistically
arXiv:1911.09477 · doi:10.13140/RG.2.2.29768.67849
Abstract
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relation and show there are many intuitionistically precise versions of it.