Diego's Theorem for nuclear implicative semilattices

Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai +3

We prove that the variety of nuclear implicative semilattices is locally finite, thus generalizing Diego's Theorem. The key ingredients of our proof include the coloring technique…