Jianming Wang

A Conditional Proof of the Slice–Ribbon Conjecture: Standard Non‑clean Local Inputs, Certified Quenching, and Terminal Milnor Rigidity

Abstract (with reader’s note): Reader’s note. The decisive part of the proof—the exclusion of all non‑clean blocked terminal states—is contained in Chapter 10. This arrangement is a standard consequence of the natural logical flow: the general quenching machinery is developed fir...