Abstract
The techniques of natural duality theory are applied to certain finitely generated varieties of Heyting algebras to obtain optimal dualities for these varieties, and thereby to address algebraic questions about them. In particular, a complete characterisation is given of the endodualisable finite subdirectly irreducible Heyting algebras. The procedures involved rely heavily on Priestley duality for Heyting algebras.
Similar content being viewed by others
References
Adams, M. E., 1986, ‘Maximal subalgebras of Heyting algebras’, Proc. Edinburgh Math. Soc. 26, 359–365.
Bellissima, F., 1986, ‘Finitely generated free Heyting algebras’, J. Symbolic Logic 51, 152–165.
Bowen, W. G., 1981, ‘Lattice theory and topology’, D. Phil. Thesis, University of Oxford.
Clark, D. M and B. A. Davey, Natural dualities for the working algebraist Cambridge University Press, in preparation.
Davey, B. A., 1976, ‘Dualities for equational classes of Brouwerian and Heyting algebras’, Trans. Amer. Math. Soc. 221, 119–146.
Davey, B. A., 1993, ‘Duality theory on ten dollars a day’ Algebras and Orders, 389, (I.G. Rosenberg and G. Sabidussi, eds) NATO Advanced Study Institute Series, Series C, Kluwer Academic Publishers 71–111.
Davey, B. A. and H. A. Priestley, 1987, ‘Generalized piggyback dualities and applications to Ockham algebras’, Houston Math. J. 13, 151–197.
Davey, B. A. and H. A. Priestley, 1990, Introduction to lattices and order, Cambridge University Press.
Davey, B. A. and H. A. Priestley, 1993, ‘Partition-induced natural dualities for varieties of pseudocomplemented distributive lattices’, Discrete Math. 113, 41–58.
Davey, B. A. and H. A. Priestley, 1993, ‘Optimal natural dualities’, Trans. Amer. Math. Soc. 338, 655–677.
Davey, B. A. and H. A. Priestley, ‘Optimal natural dualities II: general theory’, Trans. Amer. Math. Soc., (to appar).
Davey, B. A. and H. Werner, 1983, ‘Dualities and equivalences for varieties of algebras’, in: Contributions to lattice theory (Szeged, 1980), (A.P. Huhn and E.T. Schmidt, eds) Colloq. Math. Soc. János Bolyai, Vol 33, North-Holland, Amsterdam, 101–275.
Davey, B. A. and H. Werner, 1986, ‘Piggyback dualities’,in: Lectures in Universal Algebra (Szeged, 1983), (L. Szabó and A. Szendrei, eds) Coll. Math. Soc. János Bolyai, Vol. 43, North-Holland, Amsterdam.
Davey, B. A. and H. Werner, 1985, ‘Piggyback-dualitäten’, Bull. Austral. Math. Soc. 32, 1–32.
Pretorius, J. P. G., 1993, ‘On the structure of (free) Heyting algebras’ Ph. D. Thesis, University of Cambridge.
Priestley, H. A., 1995, ‘Natural dualities’in: Lattice Theory and its Applications—a Volume in Honor of Garrett Birkhoff's 80th Birthday (K.A. Baker and R. Wille, eds), Heldermann Verlag, Berlin, 185–209.
Priestley, H. A. and M. P. Ward, 1994, ‘A multi-purpose backtracking algorithm’, J. Symbolic Computation 18, 1–40.
Vrancken-Mawet, L., and G. Hansoul, 1987, ‘The subalgebra lattice of a Heyting algebra’, Czech. Math. J. 112, 34–41.
Werner, H., 1978, Discrimator-algebras. Algebraic representation and modeltheoretic properties' Studien zur Algebra und ihre Anwendungen, Vol 6, Akademie-Verlag, Berlin.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Davey, B.A., Priestley, H.A. Optimal natural dualities for varieties of Heyting algebras. Stud Logica 56, 67–96 (1996). https://doi.org/10.1007/BF00370141
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370141