Resumen

QUINTERO, José Andrés  y  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.

Palabras clave : Completion; premetrics space; regular families; Cauchy families; constructive mathematics.

        · resumen en Español     · texto en Inglés     · Inglés ( pdf )