| 2009 | ||
|---|---|---|
| 27 | Yuri Leonidovich Ershov, Klaus Keimel, Ulrich Kohlenbach, Andrei Morozov: Preface. Ann. Pure Appl. Logic 159(3): 249-250 (2009) | |
| 2007 | ||
| 26 | Thomas Streicher, Ulrich Kohlenbach: Shoenfield is Gödel after Krivine. Math. Log. Q. 53(2): 176-179 (2007) | |
| 2006 | ||
| 25 | Philipp Gerhardy, Ulrich Kohlenbach: Strongly uniform bounds from semi-constructive proofs. Ann. Pure Appl. Logic 141(1-2): 89-107 (2006) | |
| 24 | Ulrich Kohlenbach: A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. Electr. Notes Theor. Comput. Sci. 165: 81-93 (2006) | |
| 2005 | ||
| 23 | Ulrich Kohlenbach: Proof Mining in Functional Analysis. CiE 2005: 233-234 | |
| 22 | Ulrich Kohlenbach, Laurentiu Leustean: Approximate fixed points of nonexpansive functions in product spaces. Mathematics, Algorithms, Proofs 2005 | |
| 21 | Philipp Gerhardy, Ulrich Kohlenbach: Generalized metatheorems on the extractability of uniform bounds in functional analysis. Mathematics, Algorithms, Proofs 2005 | |
| 20 | Philipp Gerhardy, Ulrich Kohlenbach: Extracting Herbrand disjunctions by functional interpretation. Arch. Math. Log. 44(5): 633-644 (2005) | |
| 19 | Mircea-Dan Hernest, Ulrich Kohlenbach: A complexity analysis of functional interpretations. Theor. Comput. Sci. 338(1-3): 200-246 (2005) | |
| 2004 | ||
| 18 | Yohji Akama, Stefano Berardi, Susumu Hayashi, Ulrich Kohlenbach: An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles. LICS 2004: 192-201 | |
| 2003 | ||
| 17 | Ulrich Kohlenbach, Paulo Oliva: Proof mining in L1-approximation. Ann. Pure Appl. Logic 121(1): 1-38 (2003) | |
| 2002 | ||
| 16 | Ulrich Kohlenbach: On uniform weak König's lemma. Ann. Pure Appl. Logic 114(1-3): 103-116 (2002) | |
| 15 | Ulrich Kohlenbach: On Weak Markov's Principle. Math. Log. Q. 48(S1): 59-65 (2002) | |
| 2001 | ||
| 14 | Ulrich Kohlenbach: A note on Spector's quantifier-free rule of extensionality. Arch. Math. Log. 40(2): 89-92 (2001) | |
| 13 | Ulrich Kohlenbach: Intuitionistic Choice and Restricted Classical Logic. Math. Log. Q. 47(4): 455-460 (2001) | |
| 2000 | ||
| 12 | Ulrich Kohlenbach: On the Computational Content of the Krasnoselski and Ishikawa Fixed Point Theorems. CCA 2000: 119-145 | |
| 11 | Ulrich Kohlenbach: Things That Can and Things That Cannot Be Done in PRA. Ann. Pure Appl. Logic 102(3): 223-245 (2000) | |
| 10 | Carsten Butz, Ulrich Kohlenbach, Søren Riis, Glynn Winskel: Preface. Ann. Pure Appl. Logic 104(1-3): 1-2 (2000) | |
| 1999 | ||
| 9 | Ulrich Kohlenbach: On The No-Counterexample Interpretation. J. Symb. Log. 64(4): 1491-1511 (1999) | |
| 8 | Ulrich Kohlenbach: A Note on Goodman's Theorem. Studia Logica 63(1): 1-5 (1999) | |
| 1998 | ||
| 7 | Ulrich Kohlenbach: On the Arithmetical Content of Restricted Forms of Comprehension, Choice and General Uniform Boundedness. Ann. Pure Appl. Logic 95(1-3): 257-285 (1998) | |
| 6 | Ulrich Kohlenbach: Elimination of Skolem functions for monotone formulas in analysis. Arch. Math. Log. 37(5-6): 363-390 (1998) | |
| 5 | Ulrich Kohlenbach: Proof theory and computational analysis. Electr. Notes Theor. Comput. Sci. 13: (1998) | |
| 4 | Ulrich Kohlenbach: Relative Constructivity. J. Symb. Log. 63(4): 1218-1238 (1998) | |
| 1996 | ||
| 3 | Ulrich Kohlenbach: Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals. Arch. Math. Log. 36(1): 31-71 (1996) | |
| 1993 | ||
| 2 | Ulrich Kohlenbach: Effective Moduli from Ineffective Uniqueness Proofs. An Unwinding of de La Vallée Poussin's Proof for Chebycheff Approximation. Ann. Pure Appl. Logic 64(1): 27-94 (1993) | |
| 1992 | ||
| 1 | Ulrich Kohlenbach: Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization. J. Symb. Log. 57(4): 1239-1273 (1992) | |