Global foliations of matter spacetimes with Gowdy symmetry

A global existence theorem, with respect to a geometrically defined time, is shown for Gowdy symmetric globally hyperbolic solutions of the Einstein-Vlasov system for arbitrary (in size) initial data. The spacetimes being studied contain both matter and gravitational waves.