Manuscript XXII-C@1 · XXII-C.tex · definition · b9a05a24

Definition: Frozen family class

The frozen process class › Frozen access and experiment family · lines 329–349

XXII-C@1#def:class, XXII-C@1#eq:class

Let $I = N = {1, 2, \dots}$ be a set of experiment identifiers. Define

P_{3q} = (W_{3})^{I} .

An object is a family

W = (W_{e})_{e \in I}, W_{e} \in W_{3} .

Experiment $e$ is tested separately using $A_{0}$ . The identifier $e$ is not a time coordinate, refinement scale, or causal precedence relation.

No composition of the $W_{e}$ , no inter-experiment influence test, and no joint process on the entire family is included in this definition.

Displayed formulas in this passage