Abstract
By Priestley duality, each bounded distributive lattice is represented as the lattice of clopen upsets of a Priestley space, and by Esakia duality, each Heyting algebra is represented as the lattice of clopen upsets of an Esakia space. Esakia spaces are those Priestley spaces that satisfy the additional condition that the downset of each clopen is clopen. We show that in the metrizable case Esakia spaces can be singled out by forbidding three simple configurations. Since metrizability yields that the corresponding lattice of clopen upsets is countable, this provides a characterization of countable Heyting algebras. We show that this characterization no longer holds in the uncountable case. Our results have analogues for co-Heyting algebras and bi-Heyting algebras, and they easily generalize to the setting of p-algebras.
Similar content being viewed by others
References
Balbes, R., Dwinger, Ph: Distributive Lattices. University of Missouri Press, Columbia (1974)
Bezhanishvili, G., Morandi, P.J.: One-point order-compactifications. Houst. J. Math. 37, 699–713 (2011)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, New York (2002)
Engelking, R.: General Topology. Sigma Series in Pure Mathematics, vol. 6, 2nd edn. Heldermann verlag, Berlin (1989)
Esakia, L.: Topological Kripke models. Sov. Math. Dokl. 15, 147–151 (1974)
Esakia, L.: The problem of dualism in the intuitionistic logic and Browerian lattices. In: V Inter. Congress of Logic, Methodology and Philosophy of Science, pp. 7–8. Canada (1975)
Koppelberg, S.: General theory of Boolean algebras. In: Monk, J.D., Bonnet, R. (eds.) Handbook of Boolean Algebras, vol. 1. North-Holland Publishing Co., Amsterdam (1989)
Lee, K.B.: Equational classes of distributive pseudo-complemented lattices. Can. J. Math. 22, 881–891 (1970)
Priestley, H.A.: Representation of distributive lattices by means of ordered Stone spaces. Bull. Lond. Math. Soc. 2, 186–190 (1970)
Priestley, H.A.: Ordered topological spaces and the representation of distributive lattices. Proc. Lond. Math. Soc. 24, 507–530 (1972)
Priestley, H.A.: The construction of spaces dual to pseudocomplemented distributive lattices. Quart. J. Math. Oxf. Ser. 2(26), 215–228 (1975)
Priestley, H.A.: Ordered sets and duality for distributive lattices. In: Orders: description and roles (L’Arbresle, 1982), North-Holland Math. Stud., vol. 99, pp. 39–60. North-Holland, Amsterdam (1984)
Roman, S.: Lattices and Ordered Sets. Springer, New York (2008)
Acknowledgements
We are grateful to the referee for careful reading and the comments which have improved the presentation of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by M. Ploščica.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Carai, L. Characterization of metrizable Esakia spaces via some forbidden configurations. Algebra Univers. 80, 42 (2019). https://doi.org/10.1007/s00012-019-0616-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-019-0616-2