Zeta functions, Grothendieck groups, and the Witt ring

We prove some results connecting the zeta functions of varieties over finite fields with the big Witt ring over ZZ. We explore relations with motivic measures and a classical formula of Macdonald on invariants of symmetric products of a variety.