Spacetime topology from causality

Keye Martin, Prakash Panangaden

We prove that a globally hyperbolic spacetime with its causality relation is a bicontinuous poset whose interval topology is the manifold topology. This provides an abstract mathem…