The first-order theory of real exponentiation has been studied by many mathematicians in the lastProducator: SPRINGER VERLAG GMBH