We show that the domain of formal balls of a complete partial metric space (X, p) can be endowed with a complete partial metric that extends p and induces the Scott topology. This result, that generalizes well-known constructions of Edalat and Heckmann (Theoret. Comput. Sci. 1998) and Heckmann (Appl. Cat. Struct. 1998) for metric spaces and improves a recent result of Romaguera and Valero (Math...

We investigate the relationship between the synthetic approach to topology, in which every set is equipped with an intrinsic topology, and constructive theory of metric spaces. We relate the synthetic notion of compactness of Cantor space to Brouwer’s Fan Principle. We show that the intrinsic and metric topologies of complete separable metric spaces coincide if they do so for Baire space. In Ru...

Considering the increasing interest in fuzzy theory and possible applications,the concept of fuzzy metric space concept has been introduced by severalauthors from different perspectives. This paper interprets the theory in termsof metrics evaluated on fuzzy numbers and defines a strong Hausdorff topology.We study interrelationships between this theory and other fuzzy theories suchas intuitionis...