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