|
|||||
|
|
On roots of exponential terms |
|
| Authors: | Helmut Wolter |
| 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. |
| Keywords: | Exponential fields Model theory for exponential fields Exponential terms Roots of exponential terms Modified Sturm's theorem Estimation of roots |