The topology of geodesically complete space-times

Two theorems are given on the topology of geodesically complete space-times which satisfy the energy condition. Firstly, the condition that a compact embedded 3-manifold in space-time be dentless is defined in terms of causal structure. Then it is shown that a dentless 3-manifold must separate space-time, and that it must enclose a compact portion of space-time. Further, it is shown that if the dentless 3-manifold is homeomorphic toS ³ then the part of space-time that it encloses must be simply connected.