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
Retain exactly the previously supplied instance:
a regular time-oriented conical product , its stipulated completion defect , and its supplied future relation;
a supported injective developing chart
with the retained regular compact reserve disjoint from ;
the independently declared analytical completion
the signature and time ledger
a nonempty observation region
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