Algebraic atomistic lattices of quasivarieties

Abstract

The Gorbunov-Tumanov conjecture on the structure of lattices of quasivarieties is proved true for the case of algebraic lattices. Namely, for an algebraic atomistic lattice L, the following conditions are equivalent: (1) L is represented as Lq(K) for some algebraic quasivariety K; (2) L is represented as SΛ (A) for some algebraic lattice A which satisfies the minimality condition and nearly satisfies the maximality conditions; (3) L is a coalgebraic lattice admitting an equaclosure operator.