Equality and equivalence, intuitionistically
Logic
2019-11-22 v1
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.
Cite
@article{arxiv.1911.09477,
title = {Equality and equivalence, intuitionistically},
author = {Wim Veldman},
journal= {arXiv preprint arXiv:1911.09477},
year = {2019}
}