Real Closed Exponential Subfields of Pseudo-Exponential Fields

Abstract

In this paper, we prove that a pseudo-exponential field has continuum many nonisomorphic countable real closed exponential subfields, each with an order-preserving exponential map which is surjective onto the nonnegative elements. Indeed, this is true of any algebraically closed exponential field satisfying Schanuel’s conjecture.