Ways of Proof Theory

Published by De Gruyter 2010

Ways of Proof Theory

Edited by: Ralf Schindler

Volume 2 in the series Ontos Mathematical Logic

https://doi.org/10.1515/9783110324907

Overview
Contents

About this book

On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 – 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.

Topics

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

(Deutsch)

Language: English
Publisher: De Gruyter
Pages
- Main content: 498
Illustrations
- Other: Zahlr. Abb.
Keywords: Mathematik; Proof Theory; mathematische Logik

eBook

Published: May 2, 2013
ISBN: 9783110324907

Hardcover

Published: September 15, 2010
ISBN: 9783110324525