Causal completions as Lorentzian pre-length spaces

Abstract: In this work we revisit the notion of the (future) causal completion of a globally hyperbolic spacetime and endow it with the structure of a Lorentzian pre-length space. We further carry out this construction for a certain class of generalized Robertson-Walker spacetimes.