Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

We equip the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric and study its properties, in particular completeness and local compactness, for Lorentzian manifolds and in more general synthetic Lorentzian settings. For this purpose, we also generalize results on completeness properties of spacetimes due to Beem and Takahashi.