𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Consequences of Schanuel's condition for zeros of exponential terms

✍ Scribed by Helmut Wolter


Publisher
John Wiley and Sons
Year
1993
Tongue
English
Weight
357 KB
Volume
39
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


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.


📜 SIMILAR VOLUMES


On the “Problem of the Last Root” for Ex
✍ Helmut Wolter 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 376 KB

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