Kohlenbach, Ulrich Proof-theoretic methods in nonlinear analysis. (English) Zbl 1445.03062 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 61-82 (2018). MSC: 03F10 03F35 47H10 47H20 47H25 PDFBibTeX XMLCite \textit{U. Kohlenbach}, in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume II. Invited lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 61--82 (2018; Zbl 1445.03062) Full Text: DOI Link
Kohlenbach, U.; Nicolae, A. A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces. (English) Zbl 1420.03140 Stud. Log. 105, No. 3, 611-624 (2017). MSC: 03F10 53C22 58D17 PDFBibTeX XMLCite \textit{U. Kohlenbach} and \textit{A. Nicolae}, Stud. Log. 105, No. 3, 611--624 (2017; Zbl 1420.03140) Full Text: DOI
Kohlenbach, Ulrich A uniform quantitative form of sequential weak compactness and Baillon’s nonlinear ergodic theorem. (English) Zbl 1245.03093 Commun. Contemp. Math. 14, No. 1, 1250006, 20 p. (2012). Reviewer: Henry Towsner (Los Angeles) MSC: 03F10 47H25 PDFBibTeX XMLCite \textit{U. Kohlenbach}, Commun. Contemp. Math. 14, No. 1, 1250006, 20 p. (2012; Zbl 1245.03093) Full Text: DOI
Gerhardy, Philipp; Kohlenbach, Ulrich General logical metatheorems for functional analysis. (English) Zbl 1130.03036 Trans. Am. Math. Soc. 360, No. 5, 2615-2660 (2008). MSC: 03F10 03F35 47H09 47H10 PDFBibTeX XMLCite \textit{P. Gerhardy} and \textit{U. Kohlenbach}, Trans. Am. Math. Soc. 360, No. 5, 2615--2660 (2008; Zbl 1130.03036) Full Text: DOI