Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1097

Preprint Number 1097

Previous Next Preprint server

1097. William Simmons and Henry Towsner
Proof mining and effective bounds in differential polynomial rings

Submission date: 23 September 2016


Using the functional interpretation from proof theory, we analyze nonconstructive proofs of several central theorems about polynomial and differential polynomial rings. We extract effective bounds, some of which are new to the literature, from the resulting proofs. In the process we discuss the constructive content of Noetherian rings and the Nullstellensatz in both the classical and differential settings. Sufficient background is given to understand the proof-theoretic and differential-algebraic framework of the main results.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1609.07509: pdf, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: