Synthetic proof of Gannon-Lee theorem for spacetimes.
problem Proving incompleteness in globally hyperbolic spacetimes.
method Synthetic null energy condition and synthetically asymptotically regular trappedness condition.
result Generalized classical incompleteness theorem to weighted spacetimes.