Maximal Cauchy development (source code)

= Maximal Cauchy development

A <maximal Cauchy development> is the largest globally hyperbolic solution, unique up to an appropriate <isometry>, determined by admissible <initial data>, with the initial hypersurface a <Cauchy hypersurface>. It can sometimes be extended as a spacetime across a <Cauchy horizon> even though that extension is no longer globally determined by the initial hypersurface.