Varieties of strictly n-generated Heyting algebras

arXiv2306.12250MaRDI QIDQ6440992FDOQ6440992

Davide Emilio Quadrellaro, Tapani Hyttinen

Publication date: 21 June 2023

Abstract: For any $n<omega$ we construct an infinite Heyting algebra $H_n$ which is $(n+1)$-generated but that contains only finite $n$-generated subalgebras. From this we conclude that for every $n<omega$ there exists a variety of Heyting algebras which contains an infinite $(n+1)$-generated Heyting algebra, but which contains only finite $n$-generated Heyting algebras. For the case $n=2$ this provides a negative answer to a question posed by G. Bezhanishvili and R. Grigolia in [3].

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Heyting algebras (lattice-theoretic aspects) (06D20) Varieties (08B99)

This page was built for publication: Varieties of strictly n-generated Heyting algebras

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