Global hyperbolicity meets order completeness
The paper proves that global hyperbolicity is equivalent to various order completeness properties like future/past chronocompleteness without needing extra assumptions. It links these causality conditions to abstract order theory, showing that global hyperbolicity is equivalent to a specific completeness property in partially ordered sets.