𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on the decidability of exponential terms

✍ Scribed by Paola D'Aquino; Giuseppina Terzo

Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
127 KB
Volume
53
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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)

πŸ“œ SIMILAR VOLUMES

On roots of exponential terms
On roots of exponential terms
✍ Helmut Wolter πŸ“‚ Article πŸ“… 1993 πŸ› John Wiley and Sons 🌐 English βš– 440 KB

## 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 es

A Note on Exponential Sums
A Note on Exponential Sums
✍ N.M. Katz πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 129 KB
On the β€œProblem of the Last Root” for Ex
On the β€œProblem of the Last Root” for Exponential Terms
✍ 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

A Note on Exponential Polynomials and Pr
A Note on Exponential Polynomials and Prime Factors
✍ Rod McBeth πŸ“‚ Article πŸ“… 1981 πŸ› John Wiley and Sons 🌐 English βš– 128 KB

A NOTE ON EXPONENTIAL POLYNOMIALS AND PRIME FACTORS by ROD MCBETH in London (England) Let p,, p 2 , p 3 , . . . denote the progression 2 , 3 , 5 , . . . of primes. The polynomials f of the class EP given in [l] can be correlated with functions p ( f ; -) which are based on the above progression. The