Decoding Gentzen's Notation

History and Philosophy of Logic 39 (3):270-288 (2018)
  Copy   BIBTEX

Abstract

In this note we consider Gentzen's first ordinal notation, used in his first published proof of the consistency of Peano Arithmetic. It is a decimal notation, quite different from our current notations. We give a rule to translate this notation into our usual set-theoretic notation and we show some of its peculiarities. Then we indicate how to decode Gentzen's assignment of ordinal notations to derivations and give some examples. Finally, we go through his proof of their decrease after the application of his reduction procedure, giving further examples.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2017.1422092

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Rogers semilattices of families of two embedded sets in the Ershov hierarchy.Serikzhan A. Badaev, Mustafa Manat & Andrea Sorbi - 2012 - Mathematical Logic Quarterly 58 (4-5):366-376.
Finite notations for infinite terms.Helmut Schwichtenberg - 1998 - Annals of Pure and Applied Logic 94 (1-3):201-222.
Normal forms for elementary patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
Gentzen’s consistency proof without heightlines.Annika Siders - 2013 - Archive for Mathematical Logic 52 (3-4):449-468.
A Buchholz Derivation System for the Ordinal Analysis of KP + Π₃-Reflection.Markus Michelbrink - 2006 - Journal of Symbolic Logic 71 (4):1237 - 1283.
Ordinal diagrams for Π3-reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
On Wainer's notation for a minimal subrecursive inaccessible ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
Extending the First Gentzen's Consistency Proof to the Intuitionistic Case.María Pallares - 2004 - Logic Journal of the IGPL 12 (6):549-560.
Review: Wilfried Buchholz, Notation Systems for Infinitary Derivations ; Wilfried Buchholz, Explaining Gentzen's Consistency Proof within Infinitary Proof Theory ; Sergei Tupailo, Finitary Reductions for Local Predicativity, I: Recursively Regular Ordinals. [REVIEW]Toshiyasu Arai - 2002 - Bulletin of Symbolic Logic 8 (3):437-439.
Notations for Living Mathematical Documents.Michael Kohlhase - unknown
Ordinal diagrams for recursively Mahlo universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
Adaptation of Notations in Living Mathematical Documents.Michael Kohlhase - unknown
A comparison of well-known ordinal notation systems for ε0.Gyesik Lee - 2007 - Annals of Pure and Applied Logic 147 (1):48-70.
Ordinal Diagrams for $\Pi_3$-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375-1394.
On the computational complexity of cut-reduction.Klaus Aehlig & Arnold Beckmann - 2010 - Annals of Pure and Applied Logic 161 (6):711-736.

Analytics

Added to PP
2018-02-06

Downloads
32 (#488,786)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
The Collected Papers of Gerhard Gentzen.K. Schütte - 1972 - Journal of Symbolic Logic 37 (4):752-753.

Add more references