Displaying similar documents to “Approximate solution of a boundary problem for a linear complex differential equation of the second order.”

A failure of quantifier elimination.

Angus Macintyre, David Marker (1997)

Revista Matemática de la Universidad Complutense de Madrid

Similarity:

We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.

Łojasiewicz inequalities for sets definable in the structure ℝ exp

Ta Lê Loi (1995)

Annales de l'institut Fourier

Similarity:

We consider some variants of Łojasiewicz inequalities for the class of subsets of Euclidean spaces definable from addition, multiplication and exponentiation : Łojasiewicz-type inequalities, global Łojasiewicz inequalities with or without parameters. The rationality of Łojasiewicz’s exponents for this class is also proved.