Advances in proof theory

by Kahle, Reinhard Strahm, Thomas, (Thomas Adrian) Studer, Thomas

Type Book

Rate 0.0 /5

The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.

Details

Files

Reviews

Download

Title Statements

Full title :Advances in proof theory / Reinhard Kahle, Thomas Strahm, Thomas Studer, editors.

Summary

The volume is dedicated to the 60th birthday of Professor Gerhard Jäger, who has been instrumental in shaping and promoting logic in Switzerland for the last 25 years. It comprises contributions from the symposium Advances in Proof Theory, which was held in Bern in December 2013.

Edition Statements

Publication Date:2016.

Publication Statements

Publisher(s):Birkhäuser
Place of Publication:Switzerland
Language:eng
Publication Date:2016.

Notes

Titre de l'écran-titre (visionné le 16 août 2016).

The Physical Object

Description:1 ressource en ligne (xii, 425 pages) : : illustrations, fichiers PDF

Edition Identifiers

ISBN:9783319291987, 331929198X, 3319291963, 9783319291963
DOI:10.1007/978-3-319-29198-7
oclc:ocn962226985
LC Classification:QA9.54
Dewey Decimal:511.3/6

W. Buchholz: A survey on ordinal notations around the Bachmann-Howard ordinal -- A. Cantini: About truth and types -- R. Dyckhoff: Intuitionistic decision procedures since Gentzen -- S. Feferman: The operational perspective -- R. Gore: Formally verified proof-theory using Isabelle/HOL -- P. Minari: Analytic equational proof systems for combinatory logic and lambda calculus -- W. Pohlers: From subsystems of classical analysis to subsystems of set theory -- a personal account -- M. Rathjen: Ordinal analysis and witness extraction -- P. Schuster: Logic completeness via open induction -- H. Schwichtenberg: On the computational content of Higman's lemma -- P. Schroeder-Heister: TBA -- A. Setzer: TBA -- S. Wainer: On weak "pointwise" induction, and a miniaturized predicativity.

Subjects

Conference papers and proceedings e-books Livres numériques Logic Logic, Symbolic and mathematical Logique symbolique et mathématique Proof theory Proof theory -- Congresses Théorie de la preuve -- Congrès