@misc{indiciae836d30102665,
  title = {Diego's Theorem for nuclear implicative semilattices},
  author = {Guram Bezhanishvili and Nick Bezhanishvili and Luca Carai and David Gabelaia and Silvio Ghilardi and Mamuka Jibladze},
  year = {2020},
  url = {https://arxiv.org/abs/2001.11060},
  note = {Source identifier: 2001.11060}
}