Global hyperbolicity, in the first form given above, was introduced by Leray in order to consider well-posedness of the Cauchy problem for the wave equation on the manifold. In 1970 Geroch proved the equivalence of definitions 1 and 2. Definition 3 under the assumption of strong causality and its equivalence to the first two was given by Hawking and Ellis.