Ordered Exponential Fields by Salma Kuhlmann