Motivic integration and the Grothendieck group of pseudo-finite fields

We survey our recent work on an extension of the theory of motivic integration, called arithmetic motivic integration. We developed this theory to understand how p-adic integrals of a very general type depend on p.