INTEGRATION AND CELL DECOMPOSITION IN P-MINIMAL STRUCTURES

Abstract

AbstractWe show that the class of ${\cal L}$-constructible functions is closed under integration for any P-minimal expansion of a p-adic field $\left( {K,{\cal L}} \right)$. This generalizes results previously known for semi-algebraic and subanalytic structures. As part of the proof, we obtain a weak version of cell decomposition and function preparation for P-minimal structures, a result which is independent of the existence of Skolem functions. A direct corollary is that Denef’s results on the rationality of Poincaré series hold in any P-minimal expansion of a p-adic field $\left( {K,{\cal L}} \right)$.