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.
Research supported in part by NSF grant CCR 8818979
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
T. Coquand. Categories of embeddings. Logic In Computer Science, 1988.
G. Gierz, J.D. Lawson, and A. Stralka. Quasicontinuous posets. Houston Journal of Mathematics 9, 1983.
C. A. Gunter. Private Communication, 1988.
C. A. Gunter and A. Jung. Coherence and consistency in domains. In Logic in Computer Science, 1988.
A. Jung. Private Communication, 1988.
A. Jung. Cartesian closed categories of algebraic cpo's. Technical report, Technische Hoschshule Darmstadt, Fachbereich Mathematik, 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jagadeesan, R. (1990). L-domains and lossless powerdomains. In: Main, M., Melton, A., Mislove, M., Schmidt, D. (eds) Mathematical Foundations of Programming Semantics. MFPS 1989. Lecture Notes in Computer Science, vol 442. Springer, New York, NY. https://doi.org/10.1007/BFb0040268
Download citation
DOI: https://doi.org/10.1007/BFb0040268
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97375-3
Online ISBN: 978-0-387-34808-7
eBook Packages: Springer Book Archive