TY  - RPRT
TI  - Beth definability and the Stone-Weierstrass Theorem
AU  - Luca Reggio
PY  - 2021
UR  - https://arxiv.org/abs/2007.05281
ID  - 2007.05281
ER  -