Author:
Quintero José Andrés,Uzcátegui Carlos Enrique
Abstract
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.
Publisher
Universidad Nacional de Colombia
Reference10 articles.
1. N. Bourbaki, Elements of Mathematics. General topology (part 1), Addison-Wesley Publishing Company, Massachusetts, 1966.
2. H. Herrlich, Axiom of choice, Lecture Notes in Mathematics, vol. 1876, Springer-Verlag, Berlin, 2006.
3. R. Lubarsky, On the Cauchy completeness of the constructive Cauchy reals, Math. Log. Q. 53 (2007), 396-414.
4. R. Lubarsky and M. Rathjen, On the constructive Dedekind reals, Logic and Analysis (2008), 131-152.
5. R. Lubarsky and F. Richman, Signed-bit representations of real numbers, J. Log. Anal. (2009), 1-18.