Manuscript En08-A@1 · En08-A.tex · corollary · c688d76d
Corollary: Geometric reading
Causal typing as an explicit refinement › Limits of the interpretation · lines 1908–1921 · proof included or linked
In a cone representation, a used name originating at and used at satisfies
Under Theorem thm:representation, this difference is future causal for the resulting Lorentz form.
Proof. Apply Theorem thm:typing and the order-faithfulness condition (eq:orderfaithful).
Displayed formulas in this passage
unlabeled · line 1911