Manuscript Hawk05-C@1 · Hawk05-C.tex · section · ba0719f1
The precise obstruction to duplicate logical algebras
Access algebras and independently certified recovery › The precise obstruction to duplicate logical algebras · lines 1642–1650
Two independent commuting matrix algebras can certainly exist. The obstruction concerns their representing the same logical input. The partner comparisons in Hawk03-A must retain that distinction CheungHawk03A. An island formula is not a theorem of this finite algebraic proposition.