On future geodesic completeness for the Einstein-Vlasov system with hyperbolic symmetry

Spacetimes with collisionless matter evolving from data on a compact Cauchy surface with hyperbolic symmetry are shown to be timelike and null geodesically complete in the expanding direction, provided the data satisfy a certain size restriction.