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 $\mathbb{Z}$. We explore relations with motivic measures and a classical formula of Macdonald on invariants of symmetric products of a variety.