Cauchy problem on non-globally hyperbolic space-times

We consider solutions of the Cauchy problem for hyperbolic equations on non-globally hyperbolic space-times containing closed timelike curves (time machines). We prove that for the wave equation on such space-times, there exists a solution of the Cauchy problem that is discontinuous and in some sense unique for arbitrary initial conditions given on a hypersurface at a time preceding the formation of closed timelike curves. If the hypersurface of initial conditions intersects the region containing closed timelike curves, then the solution of the Cauchy problem exists only for initial conditions satisfying a certain self-consistency requirement.