Manuscript Hawk06-A@1 · Hawk06-A.tex · section · c59fe67c
The operational island criterion
The operational island criterion · lines 469–476
This is the established correction criterion KnillLaflamme. Comparable locally scoped statements occur in Cheung's En07-B, Hawk01-B, and Oai280-C CheungEn07B,CheungHawk01B,CheungOai280C. Their model-specific channels are not premises here.