Manuscript VIII-ST@1 · VIII-ST.tex · section · fe979f3b
Computational support and independent causal containment
Computational support and independent causal containment · lines 2128–2134
This is an embedding into an input causal relation, not a reconstruction of that relation CheungVIIJ,CheungVIIJST. No numerical shortest-distance infimum is substituted for a regular route that might pass through the removed apex.
Nearby in this section
- section: Computational support and independent causal containment
- theorem: Theorem: Computational backwards support: the C5 interface
- section: Computational support and independent causal containment
- proposition: Proposition: Exact no-signalling criterion
- section: Computational support and independent causal containment
- theorem: Theorem: Independent physical-containment certificate
- lemma: Lemma: A sufficient speed in the slicing parameter