Manuscript Hawk04-B@2 · Hawk04-B.tex · section · ba3b0713

Internal reconstruction is not characteristic composition

Documentary analytic separations › Internal reconstruction is not characteristic composition · lines 2613–2627

Back to manuscript

This is the locally proved algebraic interface in CheungXIVJ (prop:descent). It constructs no distributional product.

For example, . Thus two separately nonzero presentation terms can reconstruct zero. The supplied XIV-J null-presentation check consequently qualifies presentation-degree bookkeeping without invalidating XIV-I's internal reconstruction or frequency estimates CheungXIVJ (lem:null). An intrinsic joint-symbol claim would require the relevant descent and composition theorems.

Nearby in this section