Kohlenbach, Ulrich.
Kohlenbach, Ulrich, 1962-....
Kohlenbach, U. (Ulrich)
Ulrich Kohlenbach
Kohlenbach, U.
VIAF ID: 31472533 ( Personal )
Permalink: http://viaf.org/viaf/31472533
Preferred Forms
- 200 _ | ‡a Kohlenbach ‡b U.
- 100 1 _ ‡a Kohlenbach, U. ‡q (Ulrich)
-
-
-
-
-
- 100 1 _ ‡a Kohlenbach, Ulrich
- 100 1 _ ‡a Kohlenbach, Ulrich ‡d 1962-
- 100 | _ ‡a Kohlenbach, Ulrich, ‡d 1962-....
-
- 100 0 _ ‡a Ulrich Kohlenbach
4xx's: Alternate Name Forms (20)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Applied proof theory : proof interpretations and their use in mathematics | |
Approximate fixed points of nonexpansive functions in product spaces (extended abstract) | |
Beweistheoretische Aspekte der nichtlinearen und mengenwertigen Analysis | |
Effective bounds on strong unicity in L↓1-approximation | |
Effective uniform bounds on the Krasnoselski-Mann iteration | |
Extracting Herbrand disjunctions by functional interpretation | |
Foundational and mathematical uses of higher types | |
Higher order reverse mathematics | |
Komplexitätstheorie für Räume integrierbarer Funktionen wie sie in der Analysis von Interesse sind | |
Logic Colloquium 2007 | |
Logic, Language, Information, and Computation : 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings | |
Mann iterates of directionally nonexpansive mappings in hyperbolic spaces | |
On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness | |
On the no-counterexample interpretation | |
On the uniform weak König's lemma | |
On weak Markov's principle | |
Optimized programs from (non-constructive) proofs by the light (monotone) Dialectica interpretation. | |
Proof mining | |
Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis | |
quantitative analysis of the "Lion-Man" game | |
Some logical metatheorems with applications in functional analysis | |
Strongly uniform bounds from semi-constructive proofs | |
Things that can and things that can't be done in PRA | |
Uniform asymptotic regularity for Mann iterates | |
A ¤complexity analysis of functional interpretations | |
The ¤computational strength of extensions of weak König's lemma | |
A ¤note on Spector's quantifier-free rule of extensionality |