Notre Dame Journal of Formal Logic 54 (3-4):591-601 (2013)
| 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
|
| Keywords | pseudo-exponential exponential algebra real closed exponential fields Schanuel’s conjecture |
| Categories | (categorize this paper) |
| DOI | 10.1215/00294527-2143925 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,192
External links
- From the Publisher via CrossRef (no proxy)
- arxiv.org
(no proxy) - arxiv.org [2] (no proxy)
- projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- projecteuclid.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Pseudo-Exponentiation on Algebraically Closed Fields of Characteristic Zero.Boris Zilber - 2005 - Annals of Pure and Applied Logic 132 (1):67-95.
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.
Citations of this work BETA
No citations found.
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.
Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations.Pavel Pudlák - 1997 - Journal of Symbolic Logic 62 (3):981-998.
Nondefinability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function.Ricardo Bianconi - 1997 - Journal of Symbolic Logic 62 (4):1173-1178.
The Pessimistic Induction and the Exponential Growth of Science Reassessed.K. Brad Wray - 2013 - Synthese 190 (18):4321-4330.
On PAC and Bounded Substructures of a Stable Structure.Anand Pillay & Dominika Polkowska - 2006 - Journal of Symbolic Logic 71 (2):460 - 472.
On the Decision Problem for Two-Variable First-Order Logic.Erich Grädel, Phokion G. Kolaitis & Moshe Y. Vardi - 1997 - Bulletin of Symbolic Logic 3 (1):53-69.
A Graphic Apology for Symmetry and Implicitness.Alessandra Carbone & Stephen Semmes - 2000 - Oxford University Press.
Canonical Forms for Definable Subsets of Algebraically Closed and Real Closed Valued Fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
Analytics
Added to PP index
2013-08-10
Total views
21 ( #534,731 of 2,507,503 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,503 )
2013-08-10
Total views
21 ( #534,731 of 2,507,503 )
Recent downloads (6 months)
1 ( #416,983 of 2,507,503 )
How can I increase my downloads?
Downloads
