Global existence and asymptotic behaviour in the future for the Einstein--Vlasov system with positive cosmological constant

The behaviour of expanding cosmological models with collisionless matter and a positive cosmological constant is analysed. It is shown that under the assumption of plane or hyperbolic symmetry the area radius goes to infinity, the spacetimes are future geodesically complete, and the expansion becomes isotropic and exponential at late times. This proves a form of the cosmic no-hair theorem in this class of spacetimes.