Nicholas Pischke

A proof-theoretic bound extraction theorem for monotone operators in Banach spaces

Abstract We utilize a proof-theoretically tame approach to the dual of an abstract Banach space in systems amenable to methods from proof mining, as recently introduced by the author, to provide similar such systems with accompanying logical metatheorems on the extraction of unif...