Frontmatter -- Preface -- Contents -- Wolfram Pohlers-Life and Work / Diller, Justus -- The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 - 2008 / Feferman, Solomon -- A New Approach to Predicative Set Theory / Avron, Arnon -- Characterising Definable Search Problems in Bounded Arithmetic via Proof Notations / Beckmann, Arnold / Buss, Samuel R. -- On Topological Models of GLP / Beklemishev, Lev / Bezhanishvili, Guram / Icard, Thomas -- Program Extraction via Typed Realisability for Induction and Coinduction / Berger, Ulrich / Seisenberger, Monika -- Another Reduction of Classical IDν to Constructive IDiν / Buchholz, Wilfried -- Elementary Constructive Operational Set Theory / Cantini, Andrea / Crosilla, Laura -- Functional Interpretations of Classical Systems / Diller, Justus -- Towards a Formal Theory of Computability / Huber, Simon / Karádais, Basil A. / Schwichtenberg, Helmut -- Σ11 Choice in a Theory of Sets and Classes / Jäger, Gerhard / Krähenbühl, Jürg -- An Extended Predicative Definition of the Mahlo Universe / Kahle, Reinhard / Setzer, Anton -- ITTMs with Feedback / Lubarsky, Robert S. -- Logspace without Bounds / Oitavem, Isabel -- Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between Π11 -CA and Δ12 -CA + BI: Part I / Rathjen, Michael -- Weak Theories of Operations and Types / Strahm, Thomas -- Computing Bounds from Arithmetical Proofs / Wainer, Stanley S. -- Backmatter |