Blättern nach Person
Ebene hoch |
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)
Effective bounds from proofs in abstract functional analysis.
In: New Computational Paradigms : Changing Conceptions of What is Computable
Buchkapitel, 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 (2007)
Recent uses of proof theory in nonlinear analysis and geodesic geometry (abstract).
Konferenzveröffentlichung, 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
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
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)
Proof mining: application of proof theory to analysis.
Konferenzveröffentlichung, Bibliographie
Kohlenbach, Ulrich (2005)
Reverse mathematics in higher types.
In: Reverse mathematics
Buchkapitel, 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
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