Follow
Diego's Theorem for nuclear implicative semilattices. (arXiv:2001.11060v1 [math.LO]) http://arxiv.org/abs/2001.11060
Diego's Theorem for nuclear implicative semilattices. (arXiv:2001.11060v1 [math.LO]) http://arxiv.org/abs/2001.11060