Kohlenbach, Ulrich

• BRICS Report Series No. 11 (1999): RS-11 On the Uniform Weak König’s Lemma - Articles
  On the Uniform Weak König’s Lemma
  Abstract  PDF
• BRICS Report Series No. 23 (1997): RS-23 On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness - Articles
  On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness
  Abstract  PDF
• BRICS Report Series No. 30 (1997): RS-30 Proof Theory and Computational Analysis - Articles
  Proof Theory and Computational Analysis
  Abstract  PDF
• BRICS Report Series No. 42 (1997): RS-42 On the No-Counterexample Interpretation - Articles
  On the No-Counterexample Interpretation
  Abstract  PDF
• BRICS Report Series No. 18 (1998): RS-18 Things that can and things that can’t be done in PRA - Articles
  Things that can and things that can’t be done in PRA
  Abstract  PDF
• BRICS Report Series No. 41 (1998): RS-41 The Computational Strength of Extensions of Weak König’s Lemma - Articles
  The Computational Strength of Extensions of Weak König’s Lemma
  Abstract  PDF
• BRICS Report Series No. 31 (1999): RS-31 Foundational and Mathematical Uses of Higher Types - Articles
  Foundational and Mathematical Uses of Higher Types
  Abstract  PDF
• BRICS Report Series No. 20 (1999): RS-20 A Note on Spector’s Quantifier-Free Rule of Extensionality - Articles
  A Note on Spector’s Quantifier-Free Rule of Extensionality
  Abstract  PDF
• BRICS Report Series No. 9 (2000): RS-9 Effective Uniform Bounds on the Krasnoselski-Mann Iteration - Articles
  Effective Uniform Bounds on the Krasnoselski-Mann Iteration
  Abstract  PDF
• BRICS Report Series No. 12 (2000): RS-12 Intuitionistic Choice and Restricted Classical Logic - Articles
  Intuitionistic Choice and Restricted Classical Logic
  Abstract  PDF
• BRICS Report Series No. 14 (2001): RS-14 Effective Bounds on Strong Unicity in L1-Approximation - Articles
  Effective Bounds on Strong Unicity in L1-Approximation
  Abstract  PDF
• BRICS Report Series No. 49 (2000): RS-49 Higher Order Reverse Mathematics - Articles
  Higher Order Reverse Mathematics
  Abstract  PDF
• BRICS Report Series No. 28 (2002): RS-28 Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces - Articles
  Mann Iterates of Directionally Nonexpansive Mappings in Hyperbolic Spaces
  Abstract  PDF
• BRICS Report Series No. 31 (2002): RS-31 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics - Articles
  Proof Mining: A Systematic Way of Analysing Proofs in Mathematics
  Abstract  PDF
• BRICS Report Series No. 21 (2003): RS-21 Some Logical Metatheorems with Applications in Functional Analysis - Articles
  Some Logical Metatheorems with Applications in Functional Analysis
  Abstract  PDF
• BRICS Report Series No. 51 (2003): RS-51 Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings - Articles
  Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings
  Abstract  PDF
• BRICS Report Series No. 51 (2001): RS-51 On Weak Markov's Principle - Articles
  On Weak Markov's Principle
  Abstract  PDF
• BRICS Report Series No. 10 (2002): RS-10 Uniform Asymptotic Regularity for Mann Iterates - Articles
  Uniform Asymptotic Regularity for Mann Iterates
  Abstract  PDF
• BRICS Report Series No. 31 (2004): RS-31 Strongly Uniform Bounds from Semi-Constructive Proofs - Articles
  Strongly Uniform Bounds from Semi-Constructive Proofs
  Abstract  PDF
• BRICS Report Series No. 21 (2005): RS-21 General Logical Metatheorems for Functional Analysis - Articles
  General Logical Metatheorems for Functional Analysis
  Abstract  PDF
• BRICS Report Series No. 32 (2003): RS-32 Extracting Herbrand Disjunctions by Functional Interpretation - Articles
  Extracting Herbrand Disjunctions by Functional Interpretation
  Abstract  PDF
• BRICS Report Series No. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations. - Articles
  A Complexity Analysis of Functional Interpretations
  Abstract  PDF