Abstract. The article develops techniques for solving equations G(x, y) = 0, where G(x, y) = G(x 1 , . . . , xn, y) is a function in a given quasianalytic class (for example, a quasianalytic Denjoy-Carleman class, or the class of C ∞ functions definable in a polynomially-bounded o-minimal structure). We show that, if G(x, y) = 0 has a formal power series solution y = H(x) at some point a, then H is the Taylor expansion at a of a quasianalytic solution y = h(x), where h(x) is allowed to have a certain controlled loss of regularity, depending on G. Several important questions on quasianalytic functions, concerning division, factorization, Weierstrass preparation, etc., fall into the framework of this problem (or are closely related), and are also discussed.

No abstract

No abstract

We show that the functions g and gs introduced by Guo Wuwen in [4] are continuous and semialgebraic. We use this fact to prove that the set Nn of ordered n-tuples of real numbers, realizable by nonnegative matrices, is a closed set.