  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.
