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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

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.
Model theory of analytic functions: some historical comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.
The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
Designing with evolving systems.John Broadbent - 2003 - World Futures 59 (8):631 – 637.
Lower Bounds for Modal Logics.Pavel Hrubeš - 2007 - Journal of Symbolic Logic 72 (3):941 - 958.

Analytics

Added to PP
2013-08-10

Downloads
24 (#563,255)

6 months
2 (#670,035)

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

Algebraically closed field with pseudo-exponentiation.B. Zilber - 2005 - Annals of Pure and Applied Logic 132 (1):67-95.
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