1 paper · 2 filters
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…