We prove that a locally symmetric and a null-complete Lorentz manifold is geodetically complete.
@article{urn:eudml:doc:43182, title = {A geodesic completeness theorem for locally symmetric Lorentz manifolds.}, journal = {Revista Matem\'atica de la Universidad Complutense de Madrid}, volume = {1}, year = {1988}, pages = {101-110}, zbl = {0658.53058}, mrnumber = {MR0977043}, language = {en}, url = {http://dml.mathdoc.fr/item/urn:eudml:doc:43182} }
Lafuente López, J. A geodesic completeness theorem for locally symmetric Lorentz manifolds.. Revista Matemática de la Universidad Complutense de Madrid, Tome 1 (1988) pp. 101-110. http://gdmltest.u-ga.fr/item/urn:eudml:doc:43182/