A continuous, constructive solution to Hilbert's 17th problem.
A failure of quantifier elimination.
We show that log is needed to eliminate quantifiers in the theory of the real numbers with restricted analytic functions and exponentiation.
A remark on Ax's theorem on solvability modulo primes.
Application de la logique à un problème de dimension diophantienne sur les corps
Approximation diophantienne et distances ultramétriques non standard