Resumo

QUINTERO, José Andrés  e  UZCATEGUI, Carlos Enrique. Completion of premetric spaces. Rev.colomb.mat. [online]. 2020, vol.54, n.1, pp.19-29. ISSN 0034-7426.  https://doi.org/10.15446/recolma.v54n1.89776.

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.

Palavras-chave : Completion; premetrics space; regular families; Cauchy families; constructive mathematics.

        · resumo em Espanhol     · texto em Inglês     · Inglês ( pdf )