Ways of proof theory / Ralf Schindler (ed.).

Format:

Book

Author/Creator:

Schindler, Ralf.

Contributor:

Schindler, Ralf, editor.

Series:

Ontos Mathematical Logic

Ontos mathematical logic ; v. 2

Ontos Mathematical Logic ; 2

Language:

English

Subjects (All):

Proof theory.

Physical Description:

1 online resource (495 p.)

Edition:

1st ed.

Place of Publication:

Frankfurt ; New Brunswick : Ontos Verlag, 2010.

Language Note:

English

Summary:

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

Contents:

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

Notes:

Description based upon print version of record.

Includes bibliographical references.

ISBN:

3-86838-087-6

3-11-032490-3

OCLC:

851972130