Completion of premetric spaces
Logic
2018-08-07 v1
Abstract
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.
Cite
@article{arxiv.1808.01663,
title = {Completion of premetric spaces},
author = {Jose Andrés Quintero and Carlos Uzcátegui},
journal= {arXiv preprint arXiv:1808.01663},
year = {2018}
}