Manuscript En03-A@1 · En03-A.tex · definition · 5398614e
Definition: Exact event guard
External conical geometry and certified local moves › Event germs, guard, transport, and finite code · lines 2027–2036
En03-A@1#def:guard, En03-A@1#eq:event-guard
On the declared family, the guard is
with the fixed no-other-event certificate of prop:alllengths.
Displayed formulas in this passage
En03-A@1#eq:event-guard · line 2030
Nearby in this section
- section: Event germs, guard, transport, and finite code
- section: Event germs, guard, transport, and finite code
- proposition: Proposition: Geometric rule and blind control
- section: Event germs, guard, transport, and finite code
- lemma: Lemma: Injective event encoding
- section: Event germs, guard, transport, and finite code
- proposition: Proposition: Decoder-correct event permutation
- section: Event germs, guard, transport, and finite code