Manuscript En01-A@1 · En01-A.tex · definition · 558b972b
Definition: Record-invariant algebra
Sequential agreement and accessible adaptive sectors · lines 2392–2401
En01-A@1#def:invariant
Let
Equivalently, its operators commute with every computational projector on the established record members.
Displayed formulas in this passage
unlabeled · line 2394
Nearby in this section
- definition: Definition: Sequential dephased execution
- lemma: Lemma: Record covariance
- theorem: Theorem: Exact sequential agreement
- section: Sequential agreement and accessible adaptive sectors
- corollary: Corollary: Record distributions
- section: Sequential agreement and accessible adaptive sectors
- proposition: Proposition: Flagged adaptive access