TY  - RPRT
TI  - Semisimplicity, Glivenko theorems, and the excluded middle
AU  - Tomáš Lávička
AU  - Adam Přenosil
PY  - 2021
UR  - https://arxiv.org/abs/2101.03528
ID  - 2101.03528
ER  -