arXiv Open Access 2019

Equality and equivalence, intuitionistically

Wim Veldman

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Wim Veldman

Format Sitasi

APA MLA BibTeX

Veldman, W. (2019). Equality and equivalence, intuitionistically. https://arxiv.org/abs/1911.09477

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2019
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓