Consequences of Schanuel's condition for
β
Helmut Wolter
π
Article
π
1993
π
John Wiley and Sons
π
English
β 357 KB
## 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