A note on interpretations of Heyting algebras (Q1101137)

We say that a variety V is interpretable in a variety W iff for each V- operation \(F_ t(x_ 1,...,x_ n)\) there exists a W-term \(f_ t(x_ 1,...,x_ n)\) such that if \(A=<A;G_ s>_{s\in S}\in W,\) then \(<A;f^ A_ t>\in V\). For any integer \(n\geq 2\), let \(H_ n\) be the n-element chain considered as a Heyting algebra, and let \(V_ n\) be the variety generated by \(H_ n\). Then \(V_{n+1}\) is interpretable in \(V_ n\). The author proves that \(V_ n\) is not interpretable in \(V_{n+1}\), thus giving rise to a decreasing sequence \(V_ 2>V_ 3>..\). in the lattice of interpretability types.