For our investigations of the last root, problem for exponential terms in T-models we need some results and definitions from [l], which we shortly summarize here. Let C\* be a fixed model of T, Gf a substructure of C\* and C k OEF. Further, let C', be the set of functions in C\* defined by means of
On roots of exponential terms
β Scribed by Helmut Wolter
- Publisher
- John Wiley and Sons
- Year
- 1993
- Tongue
- English
- Weight
- 440 KB
- Volume
- 39
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
In the present paper some tools are given to state the exact number of roots for some simple classes of exponential terms (with one variable). The result were obtained by generalizing Sturm's technique for real closed fields. Moreover for arbitrary nonβzero terms t(x) certain estimations concerning the location of roots of t(x) are given. MSC: 03C65, 03C60, 12L12.
π SIMILAR VOLUMES
## Abstract In this paper we prove, modulo Schanuel's Conjecture, that there are algorithms which decide if two exponential polynomials in Ο are equal in β and if two exponential polynomials in Ο and __i__ coincide in β. (Β© 2007 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
## 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
We present new perturbation theorems on the roughness of exponential dichotomy, which improve previous results. The proofs given here are also much simpler compared with previous ones. The new results provide significant improvements of existing results in the case where the operator A t is unbounde