Completion of premetric spaces

José Andrés Quintero, Carlos Enrique Uzcátegui
2020 Revista Colombiana de Matemáticas  
We study the concept of a premetric space introduced by F. Richman in the context of constructive mathematics, and present a method for completing them.
doi:10.15446/recolma.v54n1.89776 fatcat:xhq3ftclxjgxppjakqd5cqi3hy