Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Shared host contract
Shared host contract · lines 341–345
Every used here is compact and retained in . No finite-propagation assertion crosses the worldsheet.
Nearby in this section
- section: Shared host contract
- proposition: Proposition: The regular product is not globally hyperbolic
- section: Shared host contract
- definition: Definition: Chart causal relation
- assumption: Assumption: Supported carrier input
- remark: Remark: What saturation does not say
- proposition: Proposition: Description changes do not evolve the host