Pedro Pinto (Universidade de Lisboa)
In , Kohlenbach did an analysis of the proof of Browder's theorem (in ) via the monotone functional interpretation. I will be following the same outline but guided by the bounded functional interpretation (, ). Although the bounds obtained are the same, this example provides a first look at how the bounded functional interpretation works in practice.
 Browder, Felix E, Convergence of approximants to fixed points of nonexpansive nonlinear mappings in Banach spaces, Archive for Rational Mechanics and Analysis, vol. 24 (1967), no. 1, pp. 82-90.
 Kohlenbach, Ulrich, On quantitative versions of theorems due to F.E. Browder and R. Wittmann, Advances in Mathematics, vol. 226 (2011), no. 3, pp. 2764-2795.
 Ferreira, Fernando and Oliva, Paulo, Bounded functional interpretation, Annals of Pure and Applied Logic, vol. 135 (2005), no. 1-3, pp. 73-112.
 Ferreira, Fernando, Injecting uniformities into Peano arithmetic, Annals of Pure and Applied Logic, vol. 157 (2009), no. 2, pp. 122-129.
Room 6.2.38 [⤴]