Quantifying completion.
Quasi-metrization and completion for Pervin's quasi-uniformity.
R. Stoltenberg characterized in [2] those quasi-uniformities which are quasi-pseudometrizable, as well as those quasi-metric spaces which have a quasi-metric completion. In this paper we follow Stoltenberg's work by giving characterizations for quasi-metrizability and quasi-metric completion for a particular type of quasi-uniform spaces, the Pervin's quasi-uniform space.
Quasi-proximities for topological spaces.
Quasi-uniform completions of partially ordered spaces
Quasi-uniform Space
In this article, using mostly Pervin [9], Kunzi [6], [8], [7], Williams [11] and Bourbaki [3] works, we formalize in Mizar [2] the notions of quasiuniform space, semi-uniform space and locally uniform space. We define the topology induced by a quasi-uniform space. Finally we formalize from the sets of the form ((X Ω) × X) ∪ (X × Ω), the Csaszar-Pervin quasi-uniform space induced by a topological space.
Quasi-uniformisation of closure spaces
Quasi-Uniformization of Topological Spaces.
Quelques aspects de la dualité en analyse fonctionnelle
Quotient structures for quasi-uniform spaces
QUOTIENTS OF UNIFORM SEMIGROUPS.