I will report on work with Stout from arXiv:2304.12267. Since the work by Denef, p-adic cell decomposition provides a well-established method to study p-adic and motivic integrals. In this paper, we present a variant of this method that keeps track of existential quantifiers. This enables us to deduce descent properties for p-adic integrals. We will explain all this in the talk.
03C98 ; 11U09 ; 14B05 ; 11S40 ; 14E18 ; 11F23