Equality and Equivalence, Intuitionistically
Cham : Springer International Publishing
Logic, Epistemology, and the Unity of Science ; 49
InMojtahedi, M.; Rahman, S.; Zarepour, M.S. (ed.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir, pp. 1-33
Part of book or chapter of book
Display more detailsDisplay less details
Algebra & Topologie
Mojtahedi, M.; Rahman, S.; Zarepour, M.S. (ed.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir
SubjectLogic, Epistemology, and the Unity of Science; Algebra and Topology; Mathematics; Algebra en Topologie
We show that the intuitionistic first-order theory of equality has continuum many complete extensions. We also study the Vitali equivalence relationVitali equivalence relation and show there are many intuitionistically precise versions of it.
Upload full text
Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.