Consequences of Schanuel's condition for zeros of exponential terms

Mathematical Logic Quarterly 39 (1):559-565 (1993)
  Copy   BIBTEX

Abstract

Assuming “Schanuel's Condition” for a certain class of exponential fields, Sturm's technique for polynomials in real closed fields can be extended to more complicated exponential terms in the corresponding exponential field. Hence for this class of terms the exact number of zeros can be calculated. These results give deeper insights into the model theory of exponential fields. MSC: 03C65, 03C60, 12L12

Categories

Keywords

Reprint years

DOI

10.1002/malq.19930390158

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

On roots of exponential terms.Helmut Wolter - 1993 - Mathematical Logic Quarterly 39 (1):96-102.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
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.
Henson and Rubel's theorem for Zilber's pseudoexponentiation.Ahuva C. Shkop - 2012 - Journal of Symbolic Logic 77 (2):423-432.
Comparison of exponential-logarithmic and logarithmic-exponential series.Salma Kuhlmann & Marcus Tressl - 2012 - Mathematical Logic Quarterly 58 (6):434-448.
On the structure of nonarchimedean exponential fields I.Salma Kuhlmann - 1995 - Archive for Mathematical Logic 34 (3):145-182.
Relativistic Exponential Gravitation and Exponential Potential of Electric Charge.N. Ben-Amots - 2007 - Foundations of Physics 37 (4-5):773-787.
Schanuel's conjecture and free exponential rings.Angus Macintyre - 1991 - Annals of Pure and Applied Logic 51 (3):241-246.
Time Discounting and Time Consistency.Nicola Dimitri & Jan van Eijck - unknown
Model theory of analytic functions: some historical comments.Deirdre Haskell - 2012 - Bulletin of Symbolic Logic 18 (3):368-381.
On the theory of exponential fields.Bernd I. Dahn & Helmut Wolter - 1983 - Mathematical Logic Quarterly 29 (9):465-480.
The Field of LE-Series with a Nonstandard Analytic Structure.Ali Bleybel - 2011 - Notre Dame Journal of Formal Logic 52 (3):255-265.
On the “Problem of the Last Root” for Exponential Terms.Helmut Wolter - 1985 - Mathematical Logic Quarterly 31 (9‐12):163-168.
Towards the Actual Relationship Between NP and Exponential Time.Gerhard Lischke - 1999 - Mathematical Logic Quarterly 45 (1):31-49.

Analytics

Added to PP
2013-12-01

Downloads
20 (#747,345)

6 months
4 (#790,687)

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

No references found.

Add more references