# The versatile continuous order

Part II Structure Theory Of Continuous Posets And Related Objects

First Online:

## Abstract

In this paper we survey some of the basic properties of continuously ordered sets, especially those properties that have led to their employment as the underlying structures for constructions in denotational semantics. The earlier sections concentrate on the order-theoretic aspects of continuously ordered sets and then specifically of domains. The last two sections are concerned with two natural topologies for sets with continuous orders, the Scott and Lawson topologies.

## Keywords

Continuous Lattice Compact Element Algebraic Lattice Abstract Convexity Directed Family
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

## Preview

Unable to display preview. Download preview PDF.

## References

- [DK70]B. J. Day and G. M. Kelly, “On topological quotient maps preserved by pull-backs or products,”
*Proc. of the Cambridge Phil. Soc.***67**(1970), 553–558.Google Scholar - [Du]J. Dugundji,
**Topology**, Allyn and Bacon, Boston, 1964.Google Scholar - [COMP]G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. Scott,
**A Compendium of Continuous Lattices**, Springer-Verlag, Heidelberg, 1980.Google Scholar - [Ho81a]R.-E. Hoffmann, “Continuous posets, prime spectra of completely distributive complete lattices, and Hausdorff compactifications,”
**Continuous Lattices, Lecture Notes in Mathematics 871**, edited by B. Banaschewski and R.-E. Hoffmann, Springer-Verlag, 1981, 125–158.Google Scholar - [Ho81b]R.-E. Hoffmann, “Projective sober spaces,”
**Continuous Lattices, Lecture Notes in Mathematics 871**, edited by B. Banaschewski and R.-E. Hoffmann, Springer-Verlag, 1981, 125–158.Google Scholar - [HL78]K. H. Hofmann and J. D. Lawson, “The spectral theory of distributive continuous lattices,”
*Trans. Amer. Math. Soc.***246**(1978), 285–310.Google Scholar - [HMS]K. H. Hofmann, M. Mislove, and A. Stralka,
**The Pontryagin Duality of Compact 0-Dimensional Semilattices and its Applications, Lecture Notes in Mathematics 396**, Springer-Verlag, 1974.Google Scholar - [Is75]
- [Ja74]R. E. Jamison,
**A general theory of convexity**, Doctoral Dissertation, University of Washington, 1974.Google Scholar - [KT86]T. Kamimura and A. Tang, “Retracts of SFP objects,” Lecture Notes in Computer Science
**239**, Springer-Verlag, 1986, 135–148.Google Scholar - [KT87]T. Kamimura and A. Tang, “Domains as finitely continuous CPO's,” preprint.Google Scholar
- [KG82]K. Keimel and G. Gierz, “Halbstetige Funktionen und stetige Verbände,”
**Continuous Lattices and Related Topics**, Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices (Workshop V), edited by R.-E. Hoffmann, Mathematik-Arbeitspapiere, Universität Bremen**27**, 1982, 59–67.Google Scholar - [Ko87]R. Kopperman, “All topologies come from generalized metrics,”
*Amer. Math. Monthly*, (to appear).Google Scholar - [LP85]P. Th. Lambrinos and B. Papadopoulos, “The (strong) Isbell topology and (weakly) continuous lattices,”
**Continuous Lattices and Their Applications**, edited by R.-E. Hoffman and K. H. Hofmann, Marcel Dekker, 1985, 191–211.Google Scholar - [La79]
- [Ma76]G. Markowsky, “Chain-complete posets and directed sets with applications,”
*Algebra Univ.***6**(1976), 53–68.Google Scholar - [MR76]G. Markowsky and B. K. Rosen, “Bases for chain-complete posets,”
*IBM Journal of Research and Development***20**(1976), 138–147.Google Scholar - [P176]
- [Sc70]D. Scott, “Outline of a mathematical theory of computation,”
*Proc. 4th Ann. Princeton Conf. on Inform. Sci. and Systems*, 1970, 169–176.Google Scholar - [Sc72]D. Scott, “Continuous lattices,”
**Toposes, Algebraic Geometry, and Logic**, Springer LNM**274**, Springer-Verlag, Berlin, 1972.Google Scholar - [Sc76]D. Scott, “Data types as lattices,”
*SIAM Journal on Computing***5**(1976), 522–587.CrossRefGoogle Scholar - [SW85]F. Schwarz and S. Weck, “Scott topology, Isbell topology and continuous convergence,”
**Continuous Lattices and Their Applications**, edited by R.-E. Hoffmann and K. H. Hofmann, Marcel Dekker, 1985, 251–273.Google Scholar - [Sm83a]M. Smyth, “The largest cartesian closed category of domains,”
*Theoretical Computer Sci.***27**(1983), 109–119.CrossRefGoogle Scholar - [Sm83b]M. Smyth, “Powerdomains and predicate transformers: a topologica view,”
**ICALP 83, Lecture Notes in Computer Science 154**, edited by J. Diaz, Springer-Verlag, 1983, 662–676.Google Scholar - [VDV85]M. Van de Vel, “Lattices and semilattices: a convex point of view,”
**Continuous Lattices and Their Applications**, edited by R.-E. Hoffmann and K. H. Hofmann, Marcel Dekker, 1985, 279–302.Google Scholar - [WL84]G. Winskel and K. Larsen, “Using information systems to solve recursive domain equations effectively,”
**Semantics of Data Types, Lecture Notes in Computer Science 173**edited by G. Kahn and G. D. Plotkin, Springer-Verlag, 1984, 109–130.Google Scholar

## Copyright information

© Springer-Verlag Berlin Heidelberg 1988