Type: Article
Publication Date: 2013-12-01
Citations: 10
DOI: https://doi.org/10.1142/s0129167x13501115
We establish the following criterion for divisibility in the local ring [Formula: see text] of those quasianalytic function germs at 0 ∈ ℝ n which are definable in a polynomially bounded structure. A sufficient (and necessary) condition for the divisibility of two function germs in [Formula: see text] is that of their Taylor series at 0 ∈ ℝ n in the formal power series ring.