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
✦ 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