A characterization of Stone and linear Heyting algebras

. An important problem in the variety of Heyting algebras H is to find new characterizations which allow us to determinate if a given H ∈ H is linear or Stone. In this work we present two Heyting algebras, H ns and H snl , such that: (a) a Heyting algebra H is a Stone–Heyting algebra if and only if H ns cannot be embedded in H , and (b) H is a linear Heyting algebra if and only if neither H ns nor H snl can be embedded in H .