A generalization of the singularity theorem of Hawking & Penrose to space-times with causality violations

I prove a generalization of the singularity theorem of Hawking & Penrose. The generalization is (as far as I am aware) the only one that preserves the original idea of this theorem. By quoting an example of Newman I show that the generalization is unlikely to be improved.