On the construction of domains of formal balls for uniform spaces (Q2447136)

In [Theor. Comput. Sci. 193, No. 1--2, 53--73 (1998; Zbl 1011.54026)], \textit{A. Edalat} and \textit{R. Heckmann} showed that, given a metric space \((X,d)\), the relation \((x,r)\sqsubseteq(y,s)\) iff \(d(x,y)\leq r-s\) defines a partial order on \(X\times\mathbb R\) -- the resulting structure, \(\mathbf{B}X\), is a continuous partial order and a dcpo iff \(d\)~is complete; also, \(X\)~is homeomorphic to the space of maximal points of~\(\mathbf{B}X\), endowed with the Scott topology. Using the language of pseudometrics the authors generalize this construction to uniform spaces: one requires \(d(x,y)\leq r-s\) for \textit{all} defining pseudometrics. The resulting structure is a dcpo iff the uniform space satisfies a weak completeness criterion (weak because there are very few appropriate Cauchy~nets).