A geodesic completeness theorem for locally symmetric Lorentz manifolds

Abstract

We prove that a locally symmetric and a null-complete Lorentz manifold is geodetically complete.