Rational points on a subanalytic surface
Let be a compact subanalytic surface. This paper shows that, in a suitable sense, there are very few rational points of that do not lie on some connected semialgebraic curve contained in .
Let be a compact subanalytic surface. This paper shows that, in a suitable sense, there are very few rational points of that do not lie on some connected semialgebraic curve contained in .
This paper presents several theorems on the rectilinearization of functions definable by a convergent Weierstrass system, as well as their applications to decomposition into special cubes and quantifier elimination.