TY  - RPRT
TI  - Decidability of definability issues in the theory of real addition
AU  - Alexis Bès
AU  - Christian Choffrut
PY  - 2022
UR  - https://arxiv.org/abs/2102.06160
ID  - 2102.06160
ER  -