Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Shared host contract
Shared host contract · lines 259–279
IX-D-ST@1#eq:host
Fix , , and . The prescribed regular host is
Its stipulated completion has defect
Thus the defect is a worldsheet.
Displayed formulas in this passage
IX-D-ST@1#eq:host · line 265
unlabeled · line 275
Nearby in this section
- proposition: Proposition: The regular product is not globally hyperbolic
- section: Shared host contract
- definition: Definition: Chart causal relation
- section: Shared host contract
- assumption: Assumption: Supported carrier input
- remark: Remark: What saturation does not say
- proposition: Proposition: Description changes do not evolve the host