Partial metrisability of continuous posets

Abstract

In this article, we characterise all continuous posets that are partially metrisable in their Scott topology. We present conditions for pmetrisability, which are both necessary and sufficient, in terms of measurements, domain-theoretic bases and, in a more general setting, in terms of radially convex metrics. These conditions, together with their refinements and generalisations, set a natural hierarchy on the class of partially metrised posets. We locate the class of countably-based continuous dcpos within this hierarchy.