Integer points on analytic sets
Salle W (Toits du DMA)In 2004 I proved that that if C is a transcendental curve definable in the structure R_{an}, then the number of points on C with integer coordinates of modulus less than H, is bounded by k loglog H for some constsnt k depending only on C. (The situation is vastly different for rational points.) The proof used the fact that such sets C are, in fact, semi-analytic everywhere-including infinity-and so the crux of the matter was to bound the number of solutions to equations of the form (*) F(1/n) = […]