Weierstrass division theorem in definable germs in a polynomially bounded o-minimal structure
We give some examples of polynomially bounded o-minimal expansions of the ordered field of real numbers where the Weierstrass division theorem does not hold in the ring of germs, at the origin of ℝⁿ, of definable functions.