Displaying similar documents to “Data types as lattices : retractions, closures and projections”

Finite atomistic lattices that can be represented as lattices of quasivarieties

K. Adaricheva, Wiesław Dziobiak, V. Gorbunov (1993)

Fundamenta Mathematicae

Similarity:

We prove that a finite atomistic lattice can be represented as a lattice of quasivarieties if and only if it is isomorphic to the lattice of all subsemilattices of a finite semilattice. This settles a conjecture that appeared in the context of [11].