On the structure of lattices of subquasivarieties of congruence-Noetherian quasivarieties (Q1770599)

Lattices of subquasivarieties of a quasivariety are of the form \(S_P(L,\varepsilon)\) or \(S_P(L,\tau)\) with \(L\) a lattice and \(\varepsilon\) (resp. \(\tau\)) a distributive equivalence relation (resp. a distributive quasiorder) on \(L\); \(S_P(L,\varepsilon)\) (resp. \(S_P(L,\tau)\)) is then the lattice of all algebraic \(\varepsilon\)-closed (resp. \(\tau\)-closed) subsets of \(L\). The main result of this paper states that if (i) \(S_P(L,\varepsilon)\) is atomistic and satisfies an additional condition \((S_\wedge)\) on its atoms, and if (ii) \(L\) is complete, satisfies the ACC and \(\varepsilon\) is dually Brouwerian, then \(S_P(L,\varepsilon)\) is isomorphic to the lattice \(S_P(L')\) of all algebraic subsets of \(L'\), for some algebraic lattice \(L'\) satisfying the ACC (in particular, \(L'\) is thus algebraic).