Completeness of Cauchy horizon generators
arXiv:1406.5909 · doi:10.1063/1.4893877
Abstract
It is proved that every compactly generated future Cauchy horizon has past complete generators, and dually. No condition on the differentiability of the horizon is imposed.
14 pages. v2: corrected some typos