  These notes give an exposition of the theory of arithmetic motivic
integration, as developed by J. Denef and F. Loeser. An appendix by M. Fried
gives some historical comments on Galois stratifications.
