Resumen de A characterization of Stone and linear Heyting algebras

Alejandro Petrovich, Carlos Scirica

• 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, Hns and Hsnl , such that: (a) a Heyting algebra H is a Stone–Heyting algebra if and only if Hns cannot be embedded in H, and (b) H is a linear Heyting algebra if and only if neither Hns nor Hsnl can be embedded in H.