Kohlenbach, Ulrich
-
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. 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. 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. 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. 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. 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. 49 (2000): RS-49 Higher Order Reverse Mathematics - Articles
Higher Order Reverse Mathematics
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. 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. 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. 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. 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. 12 (2003): RS-12 A Complexity Analysis of Functional Interpretations. - Articles
A Complexity Analysis of Functional Interpretations
Abstract PDF