Hello, A common example of a Heyting Algebra is one defined on an arbitrary topology. In the cases of an Alexandrov topology and a Scott topology, are either of these Boolean Algebras (special case of a HA) or purely Heyting Algebras? Regards, Bill Halchin