On maximal globally hyperbolic vacuum space-times

We prove existence and uniqueness of maximal global hyperbolic developments of vacuum general relativistic initial data sets with initial data (g,K) in Sobolev spaces $H^s\oplus H^{s-1}$ with integer s > n/2 +1.