@misc{indiciae5efa45facf22,
  title = {Semisimplicity, Glivenko theorems, and the excluded middle},
  author = {Tomáš Lávička and Adam Přenosil},
  year = {2021},
  url = {https://arxiv.org/abs/2101.03528},
  note = {Source identifier: 2101.03528}
}