Real Closed Exponential Subfields of Pseudo-Exponential Fields

Notre Dame Journal of Formal Logic 54 (3-4):591-601 (2013)
  Copy   BIBTEX

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,173

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Consequences of Schanuel's condition for zeros of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):559-565.
A Note on the Axioms for Zilber’s Pseudo-Exponential Fields.Jonathan Kirby - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):509-520.
A note on the decidability of exponential terms.Paola D'Aquino & Giuseppina Terzo - 2007 - Mathematical Logic Quarterly 53 (3):306-310.
Surreal Ordered Exponential Fields.Philip Ehrlich & Elliot Kaplan - 2021 - Journal of Symbolic Logic 86 (3):1066-1115.
Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts.Emil Jeřábek - 2023 - Mathematical Logic Quarterly 69 (2):244-260.
On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.

Analytics

Added to PP
2013-08-10

Downloads
37 (#608,533)

6 months
11 (#341,521)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Schanuel's conjecture and free exponential rings.Angus Macintyre - 1991 - Annals of Pure and Applied Logic 51 (3):241-246.
A Remark on Zilber's Pseudoexponentiation.David Marker - 2006 - Journal of Symbolic Logic 71 (3):791 - 798.

Add more references