Manuscript X-Enter-ST@1 · X-Enter-ST.tex · assumption · f76acc1f

Assumption: Retained I-B/X-A-ST instance

Stage A: the inherited host and the frozen coefficient › Unchanged geometric presentation · lines 254–291

X-Enter-ST@1#ass:host

Back to manuscript

Retain exactly the previously supplied instance:

  1. a regular time-oriented conical product , its stipulated completion defect , and its supplied future relation;

  2. a supported injective developing chart

    with the retained regular compact reserve disjoint from ;

  3. the independently declared analytical completion

  4. the signature and time ledger

  5. a nonempty observation region

  6. a regular convex developed spatial tube and a positive time reserve for the finite protocols below.

All global field equations and Green operators belong to , not to a purported globally hyperbolic regular cone.

Displayed formulas in this passage

  • unlabeled · line 262

  • unlabeled · line 268

  • unlabeled · line 275

  • unlabeled · line 280

Nearby in this section