Download:
|
|
by Lossless Powerdomains, Radhakrishnan Jagadeesan
http://www.math.luc.edu/~radha/ftp/MFPS89-Losslesspowerdomains.ps.gz
Add To MetaCart
Abstract:
The category of L-domains was discovered by A. Jung while solving the problem of finding maximal cartesian closed categories of algebraic CPO's and continuous functions. In this note we analyse properties of the lossless powerdomain construction, that is closed on the algebraic L-domains. The powerdomain is shown to be isomorphic to a collection of subsets of the domain on which the construction was done. The proof motivates a certain finiteness condition on the inconsistency relations of elements. It is shown that all algebraic CPO's D whose basis B(D) has property M satisfy the condition. In particular, the coherent L- domains satisfy the condition. 1
Citations
| 16 | Cartesian closed categories of algebraic CPO's – Jung - 1990 |
| 8 | Coherence and consistency in domains – Gunter, Jung - 1988 |
| 8 | private communication – Jung - 1992 |
| 3 | Quasicontinuous posets – Gierz, Lawson, et al. - 1983 |
| 1 | Categories of embeddings. Logic – Coquand - 1988 |
