Separation axioms for completeness and total boundedness in fuzzy pseudo metric spaces (Q1074154)

The paper mainly aims at the introduction of fuzzy pseudo-metric on a set X along with the pseudo-metric topology and continues the author's study in ibid. 86, 74-95 (1982; Zbl 0501.54003). For discussing the properties of the topology, the author introduces topological properties like separation axioms, separability, axioms of countability and a compactness-like concept which the author calls m-compactness. A fuzzy metric on X, Cauchy sequences, m-convergence and subsequently completeness along with total boundedness are also introduced. For Urysohn's lemma the author uses the fuzzy unit interval with some variation of its previous version. The expected relations between the separation axioms are valid. The equivalence of separability and 2nd countability in a fuzzy pseudo-metric space is established. The most interesting result is a version of Baire's theorem and the equivalence of m-compactness with total boundedness and completeness. The author also introduces contraction mappings along with a fixed-point theorem.