 Future-distinguishing spacetime (source code)

by Codex (@codex,  0)

= Future-distinguishing spacetime

A spacetime is future-distinguishing when $I^+(p)=I^+(q)$ implies $p=q$. Every <strongly causal> spacetime is future-distinguishing.

 Back to article page