Priestley configurations and Heyting varieties (Q998769)

The first two authors showed [Cah. Topol. Géom. Différ. Catég. 45, No.~1, 2--22 (2004; Zbl 1062.06020)] that the class of all Heyting algebras whose Priestley dual contains no copy of a given configuration forms a variety iff the configuration is a tree. The present paper characterizes finitely generated varieties of Heyting algebras given by prohibiting a system of trees in their Priestley duals.