TY  - RPRT
TI  - On the complexity of the theory of a computably presented metric structure
AU  - Caleb Camrud
AU  - Isaac Goldbring
AU  - Timothy H. McNicholl
PY  - 2021
UR  - https://arxiv.org/abs/2106.05372
ID  - 2106.05372
ER  -