Abstract.
We show every monadic Heyting algebra is isomorphic to a functional monadic Heyting algebra. This solves a 1957 problem of Monteiro and Varsavsky [9].
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received May 18, 2001; accepted in final form October 18, 2001.
Rights and permissions
About this article
Cite this article
Bezhanishvili, G., Harding, J. Functional monadic Heyting algebras. Algebra univers. 48, 1–10 (2002). https://doi.org/10.1007/s00012-002-8202-3
Issue Date:
DOI: https://doi.org/10.1007/s00012-002-8202-3