Equality and equivalence, intuitionistically

Autor:	Veldman, Wim
Rok vydání:	2019
Předmět:	Mathematics - Logic 03F55
Druh dokumentu:	Working Paper
DOI:	10.13140/RG.2.2.29768.67849
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1911.09477 Zobrazit plný text záznamu View this record from Arxiv