Preview
Unable to display preview. Download preview PDF.
References
Gierz, G., et al., A Compendium of Continuous Lattices, Springer-Verlag, Berlin, New York, Heidelberg (1980), 371pp.
Gierz, G., J. D. Lawson, and A. R. Stralka, Intrinsic topologies on semilattices of finite breadth, Semigroup Forum 31 (1985), 1–18.
Lawson, J. and M. Mislove, Semilattices which must contain a copy of 2IN, Semigroup Forum, to appear.
Lawson, J., M. Mislove, and H. Priestley, Infinite antichains in ordered sets, submitted.
Liukkonen, J. and M. Mislove, Measure algebras of semilattices, in: Lecture Notes in Math. 998, (1983), 202–214.
Larsen, K. and G. Winskel, Using information systems to solve recursive domain equations effectively, preprint.
Mislove, M., When are order scattered and topologically scattered the same?, Annals of Discrete Mathematics 23, (1984), 61–80.
Mislove, M., Order scattered distributive continuous lattices are topologically scattered, Houston Journal of Math., to appear.
Plotkin, G., Tω as a universal domain, JCSS 17 (1978), 209–236.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mislove, M. (1986). Detecting local finite breadth in continuous lattices and semilattices. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_34
Download citation
DOI: https://doi.org/10.1007/3-540-16816-8_34
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16816-4
Online ISBN: 978-3-540-44861-7
eBook Packages: Springer Book Archive