  In order to get a feeling for the sorts of implications that closed timelike curves can have, it may be useful to consider two simple models. In space-times with closed timelike curves the traditional initial value problem cannot be framed in the usual way. For it presupposes the existence of Cauchy surfaces, and if there are CTCs then no Cauchy surface exists. (A Cauchy surface is a spacelike surface such that every inextendible timelike curve crosses it exactly once. One normally specifies initial conditions by giving the conditions on such a surface.) Nonetheless, if the topological complexities of the manifold are appropriately localized, we can come quite close. Let us call an edgeless spacelike surface S a quasi-Cauchy surface if it divides the rest of the manifold into two parts such that a) every point in the manifold can be connected by a timelike curve to S, and b) any timelike curve which connects a point in one region to a point in the other region intersects S exactly once. It is obvious that a quasi-Cauchy surface must entirely inhabit the normal region of the space-time; if any point p of S is in the time travel region, then any timelike curve which intersects p can be extended to a timelike curve which intersects S near p again. In extreme cases of time travel, a model may have no normal region at all (e.g., Minkowski space-time rolled up like a cylinder in a time-like direction), in which case our usual notions of temporal precedence will not apply. But temporal anomalies like wormholes (and time machines) can be sufficiently localized to permit the existence of quasi-Cauchy surfaces.