Completions of partial metrics into value lattices (Q1014532)

The authors study several concepts of completion of partial metrics into value lattices, including the bicompletion, the Smyth completion, and a new ``spherical completion''. Given an auxiliary relation, they prove that it arises from a totally bounded partial metric space, and the spherical completion of such a space is its round ideal completion. They also present an example of a totally bounded partial metric space whose bicompletion and Smyth completion are not continuous posets. Finally they exhibit an example of a totally bounded partial metric giving rise to the Scott and lower topologies of a continuous poset, but whose spherical completion is not a continuous poset.