Equality and equivalence, intuitionistically
Por Camilo Arcaya • 30 nov, 2019 • Sección: EducacionWe 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.
arXiv:1911.09477v1 [math.LO]
Logic (math.LO)
