arXiv Open Access 2018

Completion of premetric spaces

Jose Andrés Quintero Carlos Uzcátegui

Lihat Sumber

Abstrak

We present a method for completing a premetric space, in the sense introduced by F. Richman in the context of constructive Mathematics without countable choice.

Topik & Kata Kunci

math.LO

Penulis (2)

Jose Andrés Quintero

Carlos Uzcátegui

Format Sitasi

APA MLA BibTeX

Quintero, J.A., Uzcátegui, C. (2018). Completion of premetric spaces. https://arxiv.org/abs/1808.01663

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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