Some properties of the polynomially bounded o-minimal expansions of the real field and of some quasianalytic local rings

Abstract

In this paper, we study the Weierstrass division theorem over the rings of smooth germs that are definable in an arbitrary polynomially bounded o-minimal expansion of the real field by giving some criteria for satisfying this theorem. Afterwards, we study some topological properties of some quasianalytic subrings of the ring of smooth germs for the $(x_1)$-adic topology by showing that these rings are separable metric spaces. Also, we cite a criterion for their completeness with respect to the $(x_1)$-adic topology.