A variety \({\mathcal V}\) is interpretable in a variety \({\mathcal W}\) if for each \({\mathcal V}\)-operation \(F_ t(x_ 1,...,x_ n)\) there is a \({\mathcal W}\)- term \(f_ t(x_ 1,...,x_ n)\) such that if \((A;G_ s)\) is in \({\mathcal W}\), then \((A;f^ A_ t)\) is in \({\mathcal V}\). In this paper we prove that there are only two interpretations from the variety of bounded distributive lattices into the variety of Heyting algebras, namely, the identity interpretation and its dual. As a corollary there is only one interpretation from the variety of Heyting algebras into itself. The method used is by successively showing that the result holds for larger and larger subvarieties of Heyting algebras.
- A note on interpretations of Heyting algebras
- Universal algebras
- On algebras and varieties with semilattice reducts
- Inquisitive Heyting algebras
- Interpretations into p-Algebras
- scientific article; zbMATH DE number 1506798 (Why is no real title available?)
- scientific article; zbMATH DE number 860121 (Why is no real title available?)
- On interpretations of varieties with semilattice reduct
- Interpretations of module varieties
This page was built for publication: Interpretations into Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820182)
