Proof mining and effective bounds in differential polynomial rings

William Simmons, Henry Towsner

Using the functional interpretation from proof theory, we analyze nonconstructive proofs of several central theorems about polynomial and differential polynomial rings. We extract…