Motion of Isolated bodies
  It is shown that sufficiently smooth initial data for the Einstein-dust or the Einstein-Maxwell-dust equations with non-negative density of compact support develop into solutions representing isolated bodies in the sense that the matter field has spatially compact support and is embedded in an exterior vacuum solution. 
Yvonne Choquet-Bruhat, Helmut Friedrich