On locally finite varieties of Heyting algebras

Abstract

For every $n\in \mathbb{N}$, we construct a variety of Heyting algebras, whose $n$-generated free algebra is finite but whose $(n+1)$-generated free algebra is infinite.