Profinite completions and canonical extensions of Heyting algebras. (English) Zbl 1112.06008
Necessary and sufficient conditions are obtained for the profinite completion of a Heyting algebra to coincide with its canonical extension. This provides a new criterion for a variety of Heyting algebras to be finitely generated, and a new proof of the fact that every finitely generated variety of Heyting algebras is canonical.
Reviewer: T. S. Blyth (St. Andrews)
MSC:
| 06D20 | Heyting algebras (lattice-theoretic aspects) |
| 06D50 | Lattices and duality |
| 06B20 | Varieties of lattices |
References:
| [1] | Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press, Columbia, Missouri (1974) |
| [2] | Banaschewski, B.: Coherent frames. Proceedings of the Conference on Topological and Categorical Aspects of Continuous Lattices. Lecture Notes in Math., vol. 871, pp. 1–11. Springer, Berlin Heidelberg New York (1981) · Zbl 0461.06010 |
| [3] | Bezhanishvili, G.: Varieties of monadic Heyting algebras. II. Duality Theory. Stud. Log. 62(1), 21–48 (1999) · Zbl 0973.06010 · doi:10.1023/A:1005173628262 |
| [4] | Bezhanishvili, G., Grigolia, R.: Locally finite varieties of Heyting algebras. Algebra Univers. 54(4), 465–473 (2005) · Zbl 1094.06009 · doi:10.1007/s00012-005-1958-5 |
| [5] | Blok, W.: Varieties of interior algebras. PhD thesis, University of Amsterdam, The Netherlands (1976) |
| [6] | Chagrov, A., Zakharyaschev, M.: Modal Logic Oxford Logic Guides, vol. 35. Clarendon, Oxford UK (1997) · Zbl 0871.03007 |
| [7] | Choe, T.: Partially ordered topological spaces. An. Acad. Bras. Ciênc. 51(1), 53–63 (1979) · Zbl 0424.54017 |
| [8] | Cornish, W.: On H. Priestley’s dual of the category of bounded distributive lattices. Mat. Vesn. 12(27) (no. 4), 329–332 (1975) · Zbl 0344.06007 |
| [9] | Davey, B., Galati, J.: A coalgebraic view of Heyting duality. Stud. Log. 75(3), 259–270 (2003) · Zbl 1037.06008 · doi:10.1023/B:STUD.0000009559.44998.a3 |
| [10] | Engelking, R.: General Topology. PWN–Polish Scientific Publisher, Warsaw, Poland (1977) · Zbl 0373.54002 |
| [11] | Esakia, L.: Topological Kripke models. Sov. Math. Dokl. 15, 147–151 (1974) · Zbl 0296.02030 |
| [12] | Esakia, L.: Heyting Algebras I. Duality Theory (Russian). Metsniereba, Tbilisi, Georgia (1985) · Zbl 0601.06009 |
| [13] | Gehrke, M., Harding, J.: Bounded lattice expansions. J. Algebra 238(1), 345–371 (2001) · Zbl 0988.06003 · doi:10.1006/jabr.2000.8622 |
| [14] | Gehrke, M., Jónsson, B.: Bounded distributive lattices with operators. Math. Jpn. 40(2), 207–215 (1994) · Zbl 0855.06009 |
| [15] | Gehrke, M., Jónsson, B.: Monotone bounded distributive lattice expansions. Math. Jpn. 52(2), 197–213 (2000) · Zbl 0972.06005 |
| [16] | Gehrke, M., Jónsson, B.: Bounded distributive lattice expansions. Math. Scand. 94(1), 13–45 (2004) · Zbl 1077.06008 |
| [17] | Gillman, L., Jerison, M.: Rings of Continuous Functions. Van Nostrand, New York; Princeton University Press, New Jersey (1960) · Zbl 0093.30001 |
| [18] | Grätzer, G.: Universal Algebra. Springer, Berlin Heidelberg New York (1979) · Zbl 0412.08001 |
| [19] | Hansoul, G.: The Stone–Čech compactification of a pospace. Lectures in Universal Algebra, Szeged, 1983, Colloq. Math. Soc. János Bolyai, vol. 43, pp. 161–176. North-Holland, Amsterdam (1986) |
| [20] | Harding, J.: On profinite completions and canonical extensions. Algebra Universalis (to appear) · Zbl 1134.06004 |
| [21] | Jónsson, B.: On the canonicity of Sahlqvist identities. Stud. Log. 53(4), 473–491 (1994) · Zbl 0810.03050 · doi:10.1007/BF01057646 |
| [22] | Jónsson, B., Tarski, A.: Boolean algebras with operators. I. Am. J. Math. 73, 891–939 (1951) · Zbl 0045.31505 · doi:10.2307/2372123 |
| [23] | Maksimova, L.: Pretabular superintuitionistic logics. Algebra and Logic 11, 308–314 (1972) · Zbl 0275.02027 · doi:10.1007/BF02330744 |
| [24] | Nachbin, L.: Topology and Order. Van Nostrand, New York; Princeton University Press, New Jersey (1965) · Zbl 0131.37903 |
| [25] | Priestley, H.: Representation of distributive lattices by means of ordered stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970) · Zbl 0201.01802 · doi:10.1112/blms/2.2.186 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
