Extending the well-known result that every fuzzy metric space, in the sense of Kramosil and Michalek, has a completion which is unique up to isometry, we show that every KM-fuzzy quasi-metric space has a bicompletion which is unique up to isometry, and deduce that for each KM-fuzzy quasi-metric space, the completion of its induced fuzzy metric space coincides with the fuzzy metric space induced...

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P0(X) of the nonempty subsets of X is bicomplete. Indeed we present an explicit method to construct the bicompletion of the T0-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T0spaces (X,U) for which the Hau...

It is proved that the quasi-proximity space induced by the bicompletion of a quasi-uniform T0-space X is a subspace of the quasi-proximity space induced by the Samuel bicompactification of X. The result is then used to establish that the locally finite covering quasi-uniformity defined on the category Top0 of topological T0-spaces and continuous maps is not lower K-true (in the sense of Brümmer...

For a T3.s-ordered space, certain families of maps are designated as "defining families." For each such defining family we construct the smallest T=-ordered compactification such that each member of the family can be extended to the compactification space. Each defining family also generates a quasi-uniformity on the space whose bicompletion produces the same T=-ordered

We present a conjugate invariant method for completing any T0-quasi-metric space. The completion is built as an extension of the bicompletion of the original space. For balanced T0-quasi-metric spaces our completion yields up to isometry the completion due to Doitchinov. The question which uniformly continuous maps between T0-quasimetric spaces can be extended to the constructed completions lea...

We show that every quasi–norm p on a (real) cancellative cone X induces in a natural way an extended quasi–metric ep on X for which (X, ep) is an extended quasi–metric cone. We prove that the structure of a quasi– normed cone is preserved by bicompletion, under bijective isometries. In fact, we observe that isometries are not necessarily injective in this setting. Some illustrative examples are...