Skip to main content
SpringerLink
Log in

On the congruence lattice of a Scott-domain

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

We prove that the congruence lattice of a Scott-domain can be characterized as a complete lattice.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Freese, R., Grätzer, G. andSchmidt, E. T.,On complete congruence lattices of complete modular lattices, International Journal of Algebra and Computations1 (1991), 147–160.

    Google Scholar 

  2. Gunter, C., andScott, D.,Semantic domains, Handbook on Theoretical Computer Science, J. van Leeuwen, ed., North Holland, Amsterdam, 1990, pp. 633–674.

    Google Scholar 

  3. Grätzer, G.,General Lattice Theory, Academic Press, New York, N.Y., Birkhäuser Verlag, Basel, Akademie Verlag, Berlin, 1978.

    Google Scholar 

  4. Grätzer, G. andLakser, H.,On complete congruence lattices of complete lattices, Trans. Amer. Math. Soc.327 (1991), pp. 385–405.

    Google Scholar 

  5. Grätzer, G. andLakser, H.,On congruence lattices of m-complete lattices, J. Australian Math. Soc. (Series A)52 (1992), pp. 57–87.

    Google Scholar 

  6. Jung, A.,Libkin, L. andPuhlmann, H.,Decomposition of Domains, Proceedings of the Conference on the Mathematical Foundations of Programming Semantics, 1991 (S. Brooker, M. Mislova, eds.), Springer Lecture Notes in Computer Science598 (1992), pp. 235–248.

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, University of Manitora, R3T 2N2, Winnipeg, Man., Canada

    G. Grätzer & E. T. Schmidt

  2. Transport Engineering Faculty Department of Mathematics, Technical University of Budapest, Müegyetem rkp. 9, 1111, Budapest, Hungary

    G. Grätzer & E. T. Schmidt

Authors
  1. G. Grätzer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. E. T. Schmidt
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

The research of the first author was supported by the NSERC of Canada.

The research of the second author was supported by the Hungarian National Foundation for Scientific Research, under Grant No. 1903.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Grätzer, G., Schmidt, E.T. On the congruence lattice of a Scott-domain. Algebra Universalis 30, 297–299 (1993). https://doi.org/10.1007/BF01196103

Download citation

  • Received:

  • Accepted:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01196103

Keywords

Search

Navigation