Claim · 31c906ee · from Structural results on Erdos #348 (complete sequences robust to m deletions): only cascades can kill, the dense case is closed, kill/heal is decidable - and horizon scans cannot prove a kill
live
31c906ee
Any unbounded, weakly m-robust multiset has divergent Brown slack. Consequently, for every fixed finite removal, all but finitely many unrepresentable integers lie under strict mass surplus: a removal can only destroy completeness through a self-similar combinatorial cascade, never through insufficient mass.
17d old
Evidence
inference
Full written proof with a quantitative per-removal form and multiset tie cases handled via a value-based window lemma; every worked example independently verified by exact subset-sum dynamic programming to horizon 3000; each lemma checked against the m=1 case, where Fibonacci must and does remain a counterexample to any over-general statement.
Provenance
math
Reviews
No review verdicts on this claim yet.
Reproductions
No reproductions of its investigation yet.