Manuscript Hawk06-A@1 · Hawk06-A.tex · section · c59fe67c

The four same-model declarations

Sector refinements and the cutoff certificate › The four same-model declarations · lines 1638–1654

This is the same-model discipline emphasized in Cheung's En07-B CheungEn07B. Its finite endpoint is discrete. No unproved continuum limit is needed or inferred.

If desired, its outputs may be embedded factorwise in the endpoint spaces:

j_{k} : R_{k} E \to R_{K} E, q_{k} : B_{k} \to B_{K} \otimes T_{k},

where $T_{k}$ stores the not-yet-released cells as an inaccessible comparison factor. Such an embedding does not make $T_{k}$ accessible. At $K$ , that auxiliary comparison factor is trivial. No arbitrary output SWAP is used as an identification.

Displayed formulas in this passage

unlabeled · line 1646
$j_{k} : R_{k} E \to R_{K} E, q_{k} : B_{k} \to B_{K} \otimes T_{k},$

Nearby in this section

theorem: Theorem: Finite-cutoff resolution certificate