Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d
A finite model selecting ordered slices
A finite model selecting ordered slices · lines 1618–1643
VII-E-ST@1#eq:phases, VII-E-ST@1#eq:model-branches
Only compact regular portions are used by the operations. The extension of a marking toward the completion is background metadata, not an interaction with and not a claim that these slices are global Cauchy surfaces.
Let matter be one qubit. Set
and
For an active input ,
Displayed formulas in this passage
VII-E-ST@1#eq:phases · line 1632
VII-E-ST@1#eq:model-branches · line 1638
unlabeled · line 1626
Nearby in this section
- section: A finite model selecting ordered slices
- lemma: Lemma: Certificate for every successor
- proposition: Proposition: Source, observation, and coherence
- section: A finite model selecting ordered slices
- proposition: Proposition: Exact finite diagonal comparison
- section: A finite model selecting ordered slices
- theorem: Theorem: Finite observation-compatible model
- section: A finite model selecting ordered slices