Franklin

Ways of Proof Theory / Ralf Schindler.

Publication:
Berlin ; Boston : De Gruyter, [2013]
Series:
Ontos Mathematical Logic
Ontos Mathematical Logic ; 2
Format/Description:
Book
1 online resource (495 p.)
Subjects:
Proof theory.
Form/Genre:
Electronic books.
Language:
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.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 08. Jul 2019)
Contributor:
Schindler, Ralf, editor.
ISBN:
3-11-032490-3
OCLC:
851972130
Publisher Number:
10.1515/9783110324907 doi
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy