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.
Original language | English |
---|---|
Pages (from-to) | 591-601 |
Number of pages | 11 |
Journal | Notre Dame Journal of Formal Logic |
Volume | 54 |
Issue number | 3-4 |
DOIs | |
State | Published - 10 Oct 2013 |
Keywords
- Exponential algebra
- Pseudo-exponential
- Real closed exponential fields
- Schanuel's conjecture
ASJC Scopus subject areas
- Logic