The essence of ideal completion in quantitative form

Theoretical Computer Science

Volumn 278, Issue 1-2, 2002, Pages 141-158

  Flagg, Robert C ^a   Sünderhauf, Philipp ^b  

^a UNIVERSITY OF SOUTHERN MAINE   (United States)

^b SAP RESEARCH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; APPROXIMATION THEORY; SET THEORY; TOPOLOGY;

MONOTONE MAPS;

COMPUTER SCIENCE;

EID: 0037029913     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00334-0     Document Type: Conference Paper

References (17)

1. Quantales and continuity spaces
2. Representation of quantitative domains
3. Sobrification of partially ordered sets
4. Metric spaces, generalized logic, and closed categories
5. Completely distributive complete lattices
6. Elements of generalized ultrametric domain theory
7. Quasi-uniformities: Reconciling domains with metric spaces
8. Completeness of quasi-uniform and syntopological spaces
9. The Smyth-completion of a quasi-uniform space
10. A faithful computational model of the real numbers
11. Quasi-uniform completeness in terms of Cauchy nets