AI 中文总结
该研究在标准洛伦兹几何框架下，证明了被称为“时间完备性”的序完备性性质等价于全局双曲性，并确立了全局双曲性与其他传统序完备性形式的等价性。
AI 中文摘要
近期，序完备性性质在一些低正则时空几何文献中受到关注，该性质被命名为“时间完备性”。本研究在标准洛伦兹几何框架下证明，该性质等价于全局双曲性，同时也确立了全局双曲性与其他更传统的序完备性形式的等价性。
英文摘要
Recently, an order completeness property has attracted attention in some low regularity spacetime geometry literature, where it was named `chronocompleteness'. In this work we prove that, in the framework of standard Lorentzian geometry, this property is equivalent to global hyperbolicity. The equivalence of global hyperbolicity with other more traditional forms of order completeness is also established.
Comments15 pages. v2: added Theorem 3.7
