ulrich-kohlenbach documents

On Weak Markov's Principle
Documents On Weak Markov's Principle
A note on the monotone functional interpretation
Documents A note on the monotone functional interpretation
On quantitative versions of theorems due to F.E. Browder and R. Wittmann
Documents On quantitative versions of theorems due to F.E. Browder and R. Wittmann
Uniform asymptotic regularity for Mann iterates
Documents Uniform asymptotic regularity for Mann iterates
Things that can and things that cannot be done in PRA
Documents Things that can and things that cannot be done in PRA
Proof mining in L1-approximation
Documents Proof mining in L1-approximation
On uniform weak König's lemma
Documents On uniform weak König's lemma
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
Documents On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness
Gödel's Functional Interpretation and its Use in Current Mathematics
Documents Gödel's Functional Interpretation and its Use in Current Mathematics
A Note on Goodman's Theorem
Documents A Note on Goodman's Theorem