In the Wednesday Logic Reading Group, where we are working through Sara Negri and Jan von Plato’s Structural Proof Theory – henceforth ‘NvP’ – I today introduced Chapter 6, ‘Structural Proof Analysis of Axiomatic Theories’. In their commendable efforts to be brief, the authors are sometimes a bit brisk about motivation. So I thought it was worth trying to stand back a bit from the details of this action-packed chapter as far as I understood it in the few hours I had to prepare, and to try to give an overall sense of the project. These are the notes I wrote for myself. As often with such middle-of-term efforts dashed off in a couple of hours, I both would have liked to do better and do more justice to what we are reading, but I also just don’t have time to do more now than make a few corrections to the first version. So the usual warning applies: caveat lector.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Type Two Cuts, Bad Cuts and Very Bad Cuts.Renling Jin - 1997 - Journal of Symbolic Logic 62 (4):1241-1252.
A Note on the Interpretability Logic of Finitely Axiomatized Theories.Maarten Rijke - 1991 - Studia Logica 50 (2):241 - 250.
Fragment of Nonstandard Analysis with a Finitary Consistency Proof.Michal Rössler & Emil Jeřábek - 2007 - Bulletin of Symbolic Logic 13 (1):54-70.
Gödel's Reformulation of Gentzen's First Consistency Proof for Arithmetic: The No-Counterexample Interpretation.W. W. Tait - 2005 - Bulletin of Symbolic Logic 11 (2):225-238.
A Simple Proof That Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Propositional Proof Systems, the Consistency of First Order Theories and the Complexity of Computations.Jan Krajíček & Pavel Pudlák - 1989 - Journal of Symbolic Logic 54 (3):1063-1079.
On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories.Leszek Aleksander Kołodziejczyk - 2006 - Journal of Symbolic Logic 71 (2):624 - 638.
The Second Incompleteness Theorem and Bounded Interpretations.Albert Visser - 2012 - Studia Logica 100 (1-2):399-418.
Added to index2010-11-27
Total downloads31 ( #163,887 of 2,158,921 )
Recent downloads (6 months)1 ( #353,777 of 2,158,921 )
How can I increase my downloads?