LATTICES OF NON-LOCALLY FINITE HYPERGRAPHS ARE NOT HEYTING
Adam Kolany · 2006
We prove, in [1], that given a hypergraph with finite edges one can define a free distributive lattice which is a Heyting algebra for locally finite hypergraphs. In the present paper we show that this assumption is necessary. That is, if a hypergraph is not locally finite then the underlying lattice is not a Heyting algebra.