Abstract:In this paper, we establish some connections between partial metric spaces and domain theory, and give a characterization of stable partially metrizable d-spaces. First, the concept of S-partial metrics on posets is introduced. Then it is demonstrated that the open ball topology is coarser than the Scott topology in an S-partial metric space, and that the partially metrizable d -space is exactly the DS-partial metric space. In addition, some conditions are provided to ensure that the open-ball topology and the Scott topology coincide in an S-partial metric space. Moreover, we prove that, for an S-partial metric space (X,≤,p) , (X,Op(X)) is sober iff the set of all limit points of every self-convergent sequence is directed. Finally, we propose the notion of DS-valuation space and obtain the result that there is a bijection between stable DS-partial metric spaces and DS-valuation spaces, thereby giving the characterization of stable partially metrizable d-spaces.

A New Metric Associated with the Domain Boundary

A new metric associated with the domain boundary

Critical Metrics with Cyclic Parallel Ricci Tensor for Volume Functional on Manifolds with Boundary

A New One-Point Metric on Ptolemaic Spaces

Lipschitz constants for a hyperbolic type metric under Möbius transformations

The boundary correspondence of some hyperbolic space

Boundary Extensions for mappings between metric spaces

Boundary metric of Epstein-Penner convex hull and discrete conformality

On Teichmüller Spaces of Surfaces with Boundary

Metric properties of boundary maps, Hilbert entropy and non-differentiability

Dovgoshey–Hariri–Vuorinen's metric and Gromov hyperbolicity

The prescribed metric on the boundary of convex subsets of anti-de Sitter space with a quasi-circle as ideal boundary

The arc metric on Teichmüller spaces of surfaces of infinite type with boundary

Inequalities for a new hyperbolic type metric

When is the Carathéodory metric a Kähler metric?

Manhattan geodesics and the boundary of the space of metric structures on hyperbolic groups

On canonical metrics of complex surfaces with split tangent and related geometric PDEs

Unbounded visibility domains: metric estimates and an application

DS-partial Metric Spaces and Domain Theory