Partial metrics, valuations, and domain theory ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE
UNSPECIFIED (1996) Partial metrics, valuations, and domain theory ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE. In: 11th Summer Conference on General Topology and Applications, UNIV SO MAINE, GORHAM, ME, AUG 10-13, 1995. Published in: PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS, 806 pp. 304-315.Full text not available from this repository.
In this paper we develop some connections between the partial metrics of Matthews and the topological aspects of domain theory. We do this by introducing the valuation spaces, which are a special class of partial metric spaces. We develop the natural duality of partial metrics and propose that a natural context in which to view a partial metric space is as a bitopological space. We then see that successive conditions on a valuation can ensure that the pmetric topology is first of all order consistent (with the underlying poser), then equivalent to the Scott topology, and finally that the induced metric topology is equivalent to the patch topology.
|Item Type:||Conference Item (UNSPECIFIED)|
|Series Name:||ANNALS OF THE NEW YORK ACADEMY OF SCIENCES|
|Journal or Publication Title:||PAPERS ON GENERAL TOPOLOGY AND APPLICATIONS|
|Publisher:||NEW YORK ACAD SCIENCES|
|Editor:||Andima, S and Flagg, RC and Itzkowitz, G and Kong, Y and Kopperman, R and Misra, P|
|Number of Pages:||12|
|Page Range:||pp. 304-315|
|Title of Event:||11th Summer Conference on General Topology and Applications|
|Location of Event:||UNIV SO MAINE, GORHAM, ME|
|Date(s) of Event:||AUG 10-13, 1995|
Actions (login required)