Completeness of Cauchy horizon generators
  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. 
E. Minguzzi
gr-qc math-ph math.MP