On the first-order theory of real exponentiation | Kaicus Italia