Manuscript XIX-D@1 · XIX-D.tex · section · 1f47e33b
Finite tests and class restrictions
Witness data do not determine kernels or admission › Finite tests and class restrictions · lines 680–688
Finite probes can be complete on a specified finite-dimensional class; they cannot be treated as complete on all compact kernels without that restriction and a coverage theorem. The witness, class-kernel, and admission separations recorded in XVIII-A retain this quantifier CheungXVIIIA.