Artikel

Kohlenbach, Ulrich (2022)
On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space.
In: Optimization Letters, 16 (2)
doi: 10.1007/s11590-021-01738-9
Artikel, Bibliographie

Kohlenbach, Ulrich (2021)
Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.
In: Archive for Mathematical Logic, 60 (7-8)
doi: 10.1007/s00153-021-00771-w
Artikel, Bibliographie

Kohlenbach, Ulrich (2007)
Proof interpretations and the computational content of proof in mathematics.
In: Bulletin of the European Association for Theoretical Computer Science EATCS, 93
Artikel, Bibliographie

Kohlenbach, Ulrich ; Streicher, Thomas (2007)
Shoenfield is Goedel after Krivine.
In: Mathematical Logic Quarterly : MLQ., 53
Artikel, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2007)
The approximate fixed point property in product spaces.
In: Nonlinear Analysis Series A: Theory, Methods & Applications, 66
Artikel, Bibliographie

Kohlenbach, Ulrich ; Gerhardy, Philipp (2006)
Strongly uniform bounds from semi-constructive proofs.
In: Annals of Pure and Applied Logic, 141
Artikel, Bibliographie

Kohlenbach, Ulrich (2006)
A logical uniform boundedness principie for abstract metric and hyperbolic spaces.
In: Electronic Notes in Theoretical Computer Science, 165
Artikel, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
Extracting Herbrand disjunctions by functional interpretation.
In: Archive for Mathematical Logic, 44
Artikel, Bibliographie

Gerhardy, Philipp ; Kohlenbach, Ulrich (2005)
General logical metatheorems for functional analysis.
In: BRICS report series : RS / Basic Research in Computer Science (BRICS), Department of Computer Science, University of Aarhus. - (ISSN: 0909-0878), 21
Artikel, Bibliographie

Kohlenbach, Ulrich (2005)
Some Logical Metatheorems with Applications in Functional Analysis.
In: Transactions American Mathethematical Society, 357
Artikel, Bibliographie

Kohlenbach, Ulrich (2005)
Some computational aspects of metric fixed point theory.
In: Nonlinear Analysis, 61
Artikel, Bibliographie

Hernest, Mircea-Dan ; Kohlenbach, Ulrich (2005)
A complexity analysis of functional interpretations.
In: Theoretical Computer Science, 338
Artikel, Bibliographie

Buchkapitel

Kohlenbach, Ulrich (2007)
Effective bounds from proofs in abstract functional analysis.
In: New Computational Paradigms : Changing Conceptions of What is Computable
Buchkapitel, Bibliographie

Kohlenbach, Ulrich (2005)
Reverse mathematics in higher types.
In: Reverse mathematics
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Kohlenbach, Ulrich (2007)
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed point property in product spaces.
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich ; Leustean, Laurentiu (2005)
Approximate fixed points of nonexpansive functions in product spaces.
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich (2005)
Proof mining: application of proof theory to analysis.
Konferenzveröffentlichung, Bibliographie

Kohlenbach, Ulrich ; Lambov, Branimir (2004)
Bounds on iterations of asymptotically quasi-non-expansive mappings.
Konferenzveröffentlichung, Bibliographie

Akama, Yohij ; Berardi, Stefano ; Hayashi, Susumu ; Kohlenbach, Ulrich (2004)
An arithmetical hierarchy of the law of excluded middle and related principles.
Konferenzveröffentlichung, Bibliographie