On the proof of the C⁰-inextendibility of the Schwarzschild spacetime

© Published under licence by IOP Publishing Ltd. This article presents a streamlined version of the author's original proof of the C 0 -inextendibility of the maximal analytic Schwarzschild spacetime. Firstly, we deviate from the original proof by using the result, recently established in collaboration with Galloway and Ling, that given a C 0 -extension of a globally hyperbolic spacetime, one can find a timelike geodesic that leaves this spacetime. This result much simplifies the proof of the inextendibility through the exterior region of the Schwarzschild spacetime. Secondly, we give a more flexible and shorter argument for the inextendibility through the interior region. Furthermore, we present a small new structural result for the boundary of a globally hyperbolic spacetime within a C 0 -extension which serves as a new and simpler starting point for the proof.