The Library
Partial metrics, valuations, and domain theory ELEVENTH SUMMER CONFERENCE AT THE UNIVERSITY OF SOUTHERN MAINE
Tools
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. ISBN 1-57331-090-5. ISSN 0077-8923.
Research output not available from this repository.
Request-a-Copy directly from author or use local Library Get it For Me service.
Abstract
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) | ||||
---|---|---|---|---|---|
Subjects: | Q Science | ||||
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 | ||||
ISBN: | 1-57331-090-5 | ||||
ISSN: | 0077-8923 | ||||
Editor: | Andima, S and Flagg, RC and Itzkowitz, G and Kong, Y and Kopperman, R and Misra, P | ||||
Official Date: | 1996 | ||||
Dates: |
|
||||
Volume: | 806 | ||||
Number of Pages: | 12 | ||||
Page Range: | pp. 304-315 | ||||
Publication Status: | Published | ||||
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 |
Data sourced from Thomson Reuters' Web of Knowledge
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |