|
Organizers |
Relaxed Metrics and Co-continuous Valuations for Scott Topology
by
Michael Bukatin
Metacarta Inc.
Interval numbers and other continuous Scott domains are used as models for computational objects. Hence the developments of analysis on such domains should eventually enable us to treat computational objects in the fashion we treat familiar objects from continuous mathematics.
I'll review the results about Scott continuous relaxed metrics, co-continuous valuations, and their relationships in context of Scott domains. I'll also try to suggest what could be done to develop the analysis over Scott domains further.
Date received: April 15, 2002
Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Mathematical Conference Abstracts. Document # caix-08.