Results 1 to 10 of about 54,463 (287)

Partial Metric Spaces [PDF]

The American Mathematical Monthly, 2009
Scott models are topological models of complete partial orders used for Tarskian fixed point semantics of the lambda calculus. As of yet there are no methods for deriving Scott models from specifications of the "complete" objects beyond an arbitrary choice.
Michael A. Bukatin, Ralph Kopperman, Steve Matthews, Homeira Pajoohesh   +3 more
openaire   +3 more sources

On the bicompletion of a partial quasi-metric space and $$T_{0}$$-quasi-metric spaces

Afrika Matematika, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Seithuti P Moshokoa
exaly   +3 more sources

Bicompleting weightable quasi-metric spaces and partial metric spaces

Rendiconti Del Circolo Matematico Di Palermo, 2002
The theories of partial metric spaces and of weightable quasi-metric spaces are equivalent, as was shown by \textit{S. G. Matthews} [Ann. New York Acad.Sci. 728, 183--197 (1994; Zbl 0911.54025)]. The present authors prove that the bicompletion of a weightable quasi-metric space is weightable.
S Romaguera, Romaguera S, Sanchez-Perez E A   +2 more
exaly   +3 more sources

Partial soft metric spaces: Convergence

Journal of Interdisciplinary Mathematics, 2022
Matthew introduced a non-zero self distance which is called a partial metric as a part of the study of denotational semantics of dataflow network. In this study, we aim to extend the Matthew's notion to the soft universe and so, we give the definition of a partial soft metric.
openaire   +2 more sources

Metrizability of partial metric spaces

Topology and its Applications, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Volodymyr Mykhaylyuk, Vadym Myronyk
openaire   +1 more source

Some Remarks on Partial Metric Spaces

Bulletin of the Malaysian Mathematical Sciences Society, 2019
In the present paper, some topological properties of partial metric spaces are investigated. Section 1 is introductory. In Section 2, after studying some general relationships between metric-like partial metric spaces, sequentially isosceles partial metric spaces and sequentially equilateral partial metric spaces, a special variant of Urysohn's lemma ...
Lu, Hanchuan, Zhang, Heng, He, Wei
openaire   +1 more source

Approximation of Metric Spaces by Partial Metric Spaces

Applied Categorical Structures, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources