TY - RPRT TI - An effective version of definability in metric model theory AU - Nazanin Roshandel Tavana PY - 2020 UR - https://arxiv.org/abs/2003.02087 ID - 2003.02087 ER -