Exponential Functions on Real Closed Fields (August 2025), supervised by Emmanuel Kowalski, ETH Zurich and Salma Kuhlmann, University of Konstanz