Manuscript Hawk03-A@1 · Hawk03-A.tex · section · 9a109c12
Encoded algebras and the no-independent-copy obstruction
Encoded algebras and the no-independent-copy obstruction · lines 689–693
A message code and a structural logical space are different objects. We now keep that distinction explicit.
Nearby in this section
- definition: Definition: Structural encoding and prepared slice
- section: Encoded algebras and the no-independent-copy obstruction
- lemma: Lemma: Exact encoded instrument
- theorem: Theorem: Quantitative commuting-copy obstruction
- remark: Remark: Necessary domain qualification
- section: Encoded algebras and the no-independent-copy obstruction