Quantitative continuous domains
In this paper the author relates two basic notions from what has come to be called quantitative domain theory: partial metrics and measurements. The author defines stable partial metrics and weakly modular measurements and shows that each gives rise to the other under dually inverse constructions. It is further shown that every \(\omega\)-algebraic domain admits a partial metric whose associated measurement takes the value \(0\) precisely on the maximal elements. A partial metric gives rise in a standard way to a metric and results containing the completeness of this metric are also obtained. The results are delineated and illustrated with a variety of examples and counterexamples.
- A characterization of partial metrizability: Domains are quantifiable.
- Yoneda completion via a dcpo completion of its poset of formal balls
- A triangle inequality for measurement
- Fixed point results for generalized cyclic contraction mappings in partial metric spaces
- Weakly contractive multivalued maps and w-distances on complete quasi-metric spaces
- A unique common fixed-point theorem for two maps under - contractive condition in partial metric spaces
- The constructive maximal point space and partial metrizability
- On the domain of formal balls of the Sorgenfrey quasi-metric space
- The constructive maximal point space
- Common fixed points in a partially ordered partial metric space
- Domain theoretic characterisations of quasi-metric completeness in terms of formal balls
- Common fixed-point results for nonlinear contractions in ordered partial metric spaces
- A quantitative computational model for complete partial metric spaces via formal balls
- A quasi-metric computational model from modular functions on monoids
- A domain-theoretic approach to fuzzy metric spaces
- A generalized Meir-Keeler-type contraction on partial metric spaces
- A generalized contraction principle with control functions on partial metric spaces
- Fixed point theory for cyclic generalized weak \(\phi\)-contraction on partial metric spaces
- Extendible spaces
- Distance and measurement in domain theory
- Complexity spaces as quantitative domains of computation
- \(Q\)-functions on quasimetric spaces and fixed points for multivalued maps
- Fundamentals of Computation Theory
- Fixed points of contractive maps on dcpo's
- Complete partial metric spaces have partially metrizable computational models
- A mathematical model for network with structures in the mesoscale
- Injective spaces via adjunction
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- DS-partial metric spaces and domain theory
- Intrinsic approach spaces on domains
- Fixed point theorems for generalized contractions on partial metric spaces
- Partial metrics and normed inverse semigroups
- Stone duality for relations
- An application of a representation theorem for fuzzy metrics to domain theory
- Topologies and fixpoints on weak partial metric spaces
- A careful retrospection of metric spaces and contraction mappings with computer simulation
- Quantitative continuous Δ-spaces
- Distance domains: continuity
- Generalized ultrametric spaces in quantitative domain theory
- A Kirk type characterization of completeness for partial metric spaces
This page was built for publication: Quantitative continuous domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1811032)
