On interpretations of varieties with semilattice reduct

DOI10.1007/BF01182463MaRDI QIDQ804615zbMATH OpenFDO

Authors W. J. Blok

Publication date 1990

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01182463

zbMATH Keywords

Heyting algebrasinterpretability of a variety in another one

Mathematics Subject Classification ID

Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20) Varieties (08B99)

Review text

A variety V is interpretable in a variety W (V\(\leq W)\) if for every fundamental V-operation \(f_ t\), \(t\in T\), there exists a W-term \(\alpha_ t\) such that for every algebra \(A\in W\) the algebra \((A;\alpha_ t,t\in T)\in V\). The assignment I: \(f_ t\mapsto \alpha_ t\), \(t\in T\), is called an interpretation of V in W. The paper delivers a simplified approach of results of R. Levin and of W. Taylor on interpretations of distributive lattices in Heyting algebras and of n- element linearly ordered Heyting algebra in \(n+1\)-element linearly ordered Heyting algebras. Among other results the following is shown for varieties V, W of Heyting algebras which are generated by three finite members. If \(V\leq W\) and W properly contains the variety of Boolean algebras then there is exactly one interpretation of V in W. If \(V\nleq W\) then V is not interpretable in W.

Recommendations

• Interpretations into Heyting algebras
• A note on interpretations of Heyting algebras
• On algebras and varieties with semilattice reducts
• scientific article; zbMATH DE number 742859
• The lattice of interpretability types of varieties

Cites work

• A note on interpretations of Heyting algebras
• Brouwerian Semilattices
• Interpretations into Heyting algebras

Cited in

(9)

• A note on interpretations of Heyting algebras
• On algebras and varieties with semilattice reducts
• Interpretations into Heyting algebras
• In memory of Willem Johannes Blok 1947-2003
• The lattice of interpretability types of varieties
• scientific article; zbMATH DE number 3943893 (Why is no real title available?)
• scientific article; zbMATH DE number 66914 (Why is no real title available?)
• Interpretability Types for Regular Varieties of Algebras
• Interpretations of module varieties

This page was built for publication: On interpretations of varieties with semilattice reduct

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q804615)