Completion of premetric spaces
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.
math.LO↗
arXiv subjects
Jose Andrés Quintero
Publications and source records attributed to Jose Andrés Quintero.