@misc{indiciaea4621f95b39b, title = {Externally definable quotients and NIP expansions of the real ordered additive group}, author = {Erik Walsberg}, year = {2020}, url = {https://arxiv.org/abs/1910.10572}, note = {Source identifier: 1910.10572} }