The Einstein-Vlasov system
Rigorous results on solutions of the Einstein-Vlasov system are surveyed. After an introduction to this system of equations and the reasons for studying it, a general discussion of various classes of solutions is given. The emphasis is on presenting important conceptual ideas, while avoiding entering into technical details. Topics covered include spatially homogenous models, static solutions, spherically symmetric collapse and isotropic singularities.