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
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.