Skip to main content
Log in

Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The paper investigates completions in the context of finitely generated lattice-based varieties of algebras. In particular the structure of canonical extensions in such a variety \({\mathcal {A}}\) is explored, and the role of the natural extension in providing a realisation of the canonical extension is discussed. The completions considered are Boolean topological algebras with respect to the interval topology, and consequences of this feature for their structure are revealed. In addition, we call on recent results from duality theory to show that topological and discrete dualities for \({\mathcal {A}}\) exist in partnership.

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

Access this article

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. Banaschewski, B., ‘On profinite universal algebras’, in General Topology and Its Relations to Modern Analysis and Algebra III, Proc. Third Prague Topological Symp., 1971, Academia, Prague 1972, pp. 51–62.

  2. Banaschewski, B., ‘Remarks on dual adjointness’, Nordwestdeutsches Kategorienseminar (Tagung, Bremen, 1976), Math.-Arbeitspapiere, 7, Teil A: Math. Forschungspapiere, Universität Bremen, 1976, pp. 3–10.

  3. Bezhanishvili G., Gehrke M., Mines R., Morandi P.J.: ‘Profinite completions and canonical extensions of Heyting algebras’. Order 23, 143–161 (2006)

    Article  Google Scholar 

  4. Burris, S. N., and H.P. Sankappanavar, A Course in Universal Algebra, Springer- Verlag, 1981 (free download at http://www.math.uwaterloo.ca/~snburris/).

  5. Clark, D. M., and B. A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, 1998.

  6. Clark D.M., Davey B.A., Freese R.S., Jackson M.G.: ‘Standard topological algebras: syntactic and principal congruences and profiniteness’. Algebra Universalis 52, 343–376 (2004)

    Article  Google Scholar 

  7. Clark D.M., Davey B.A., Jackson M.G., Pitkethly J.G.: ‘The axiomatizability of topological prevarieties’. Adv. Math. 218, 1604–1653 (2008)

    Article  Google Scholar 

  8. Davey B.A.: ‘Natural dualities for structures’. Acta Univ. M. Belii Math. 13, 3–28 (2006)

    Google Scholar 

  9. Davey B.A., Gouveia M.J., Haviar M., Priestley H.A.: ‘Natural extensions and profinite completions of algebras’. Algebra Universalis 66, 205–241 (2011)

    Article  Google Scholar 

  10. Davey B.A., Haviar M., Priestley H.A.: ‘Boolean topological distributive lattices and canonical extensions’. Appl. Categ. Structures 15, 225–241 (2007)

    Article  Google Scholar 

  11. Davey, B. A., M. Haviar, and H. A. Priestley, ‘Natural dualities in partnership’, Appl. Categ. Structures (2011), doi:10.1007/s10485-011-9253-4.

  12. Davey B.A., Haviar M., Willard R.: ‘Full does not imply strong, does it?’. Algebra Universalis 54, 1–22 (2005)

    Article  Google Scholar 

  13. Davey, B. A., and H. A. Priestley, Introduction to Lattices and Order, 2nd edition, Cambridge University Press, 2002.

  14. Davey B.A., Priestley H.A.: ‘A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras’. Topol. and Appl. 158, 1724–1731 (2011)

    Article  Google Scholar 

  15. Erné M.: ‘Topologies on products of partially ordered sets III: interval topologies’. Algebra Universalis 11, 295–311 (1980)

    Article  Google Scholar 

  16. Erné, M., ‘Convergence and distributivity: a survey’, in R.-E. Hoffmann (ed.), Continuous Lattices and Related Topics, Mathematik Arbeitspapier Nr 27, Universität Bremen, 1982, pp. 39–50.

  17. Erné M.: ‘Infinite distributive laws versus local connectedness and compactness properties’. Topology Appl. 156, 2054–2069 (2009)

    Article  Google Scholar 

  18. Galatos, N., P. Jipsen, T. Kowalski, and H. Ono, Residuated Lattices: an Algebraic Glimpse at Substructural Logics, Elsevier, 2007.

  19. Gehrke M., Harding J.: ‘Bounded lattice expansions’. J. Algebra 238, 345–371 (2001)

    Article  Google Scholar 

  20. Gehrke M., Jónsson B.: ‘Bounded distributive lattices with operators’. Math. Japonica 40, 207–215 (1994)

    Google Scholar 

  21. Gehrke M., Jónsson B.: ‘Bounded distributive lattice expansions’. Math. Scand. 94, 13–45 (2004)

    Google Scholar 

  22. Gehrke M., Priestley H.A.: ‘Canonical extensions and completions of posets and lattices’. Rep. Math. Logic 43, 133–152 (2008)

    Google Scholar 

  23. Gehrke, M., and J. Vosmaer, ‘A view of canonical extensions, 2010’ in Logic, Language and Computation (Proceedings of the Eighth International Tbilisi Symposium, TbiLLC, 2009), Lecture Notes in Computer Science 6618:77–100, 2011.

  24. Gierz, G., K. H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, and D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, 2003.

  25. Gouveia M.J.: ‘A note on profinite completions and canonical extensions’. Algebra Universalis 64, 21–23 (2010)

    Article  Google Scholar 

  26. Harding J.: ‘On profinite completions and canonical extensions’. Algebra Universalis 55, 293–296 (2006)

    Article  Google Scholar 

  27. Hofmann D.: ‘A generalization of the duality compactness theorem’. J. Pure Appl. Algebra 171, 205–217 (2002)

    Article  Google Scholar 

  28. Johnstone, P. T., Stone Spaces, Cambridge University Press, 1982.

  29. Jónsson B., Tarski A.: ‘Boolean algebras with operators. I’, Amer. J. Math. 73, 891–939 (1951)

    Article  Google Scholar 

  30. Kearnes K.A., Willard R.: ‘Residually finite, congruence meet-semidistributive varieties of finite type have a finite residual bound’. Proc. Amer. Math. Soc. 127, 2841–2850 (1995)

    Article  Google Scholar 

  31. Maruyama, Y., ‘Natural duality, modality and coalgebra’, J. Pure Appl. Algebra, published online 09/11/ 2011, doi:10.1016/j.jpaa.2011.07.002.

  32. Priestley H.A.: ‘Catalytic distributive lattices and compact zero-dimensional topological lattices’. Algebra Universalis 19, 322–329 (1984)

    Article  Google Scholar 

  33. Speed T.P.: ‘Profinite posets’. Bull. Austral. Math. Soc. 6, 177–183 (1972)

    Article  Google Scholar 

  34. Venugopalan P.: ‘Priestley spaces’. Proc. Amer. Math. Soc. 109, 605–610 (1990)

    Article  Google Scholar 

  35. Vosmaer, J., Logic, Algebra and Topology, PhD Thesis, University of Amsterdam, Netherlands, 2010.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to H. A. Priestley.

Additional information

In memoriam Leo Esakia

Rights and permissions

Reprints and permissions

About this article

Cite this article

Davey, B.A., Priestley, H.A. Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras. Stud Logica 100, 137–161 (2012). https://doi.org/10.1007/s11225-012-9392-0

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-012-9392-0

Keywords

2010 Mathematics Subject Classification

Navigation