2 problems

Finite nuclear-image conjecture. The finite nuclear images of conuclear images of negative cones of $\ell$-groups are precisely the finite integral residuated lattices.

Let $A$ be a residuated lattice, let $\tilde{A}$ be its strongly co-Stone hull, and let $\epsilon:A\to\tilde{A}$ be the canonical morphism. For a subset $X\subseteq A$, write…