Equality and equivalence, intuitionistically

Por • 30 nov, 2019 • Sección: Educacion

Wim Veldman

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.

arXiv:1911.09477v1 [math.LO]

Logic (math.LO)

Post to Twitter

Escribe un comentario