Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895

Faithful generation cannot be skipped

Finite futures, three-relation typing, and cone obstructions › Faithful generation cannot be skipped · lines 1404–1411

Back to manuscript

Consequently a synthesis circuit does not fill the representation, covariance, non-vacuity, homogeneity, or strict-convexity slots of XXII-A–F simply by being appended to a process. The already conditional Lorentz classification in that programme remains conditional CheungXXIIA,CheungXXIIB,CheungXXIIF.

Nearby in this section