In this paper, we introduce and study the stable topology on the set of prime filters of a bounded 0-distributive lattice. The stable topology is a subtopology of the hull kernel topology on the set of prime filters of a bounded 0-distributive lattice. Sufficient condition is given under which the hull kernel topology and stable topology coincide on the set of prime filters (the set of maximal ...

We prove that the skeleton of a product of finitely many finite distributive lattices is isomorphic to the product of skeletons of its factors. Thus, it is possible to construct finite distributive lattices with a given directly reducible skeleton by reducing the problem to the skeleton factors. Although not all possible lattices can be obtained this way, we show that it works for the smallest ...

We give a representation of distributive lattices with the existential quantifier in terms of spectral spaces, which is an alternative to Cignoli’s representation in terms of Priestley spaces. Then we describe dual spectral spaces of subdirectly irreducible and simple Q-distributive lattices and prove that the variety QDist of Q-distributive lattices does not have the congruence extension prope...

It is well known that for all recursively enumerable sets X1, X2 there are disjoint recursively enumerable sets Y1, Y2 such that Y1 c X1, Y2 c X2 and Y1 U Y2 = X1 U X2. Alistair Lachlan called distributive lattices satisfying this property separated. He proved that the first-order theory of finite separated distributive lattices is decidable. We prove here that the first-order theory of all sep...

In our previous work [17] we have shown that for any ω-algebraic meet-cpo D, if all higher-order stable function spaces built from D are ω-algebraic, then D is finitary. This accomplishes the first of a possible, two-step process in solving the problem raised in [1, 2]: whether the category of stable bifinite domains of Amadio-Droste-Göbel [1, 6] is the largest cartesian closed full subcategory...