@misc{indiciae93a0a9b56284, title = {Expansions of real closed fields which introduce no new smooth functions}, author = {Pantelis E. Eleftheriou and Alex Savatovsky}, year = {2018}, url = {https://arxiv.org/abs/1812.10151}, note = {Source identifier: 1812.10151} }