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

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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/01445340.2017.1422092
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,668
Through your library

References found in this work BETA

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

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

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.
Ordinal Diagrams for Π3-Reflection.Toshiyasu Arai - 2000 - Journal of Symbolic Logic 65 (3):1375 - 1394.
Ordinal Diagrams for Recursively Mahlo Universes.Toshiyasu Arai - 2000 - Archive for Mathematical Logic 39 (5):353-391.
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.


Added to PP index

Total views
18 ( #533,627 of 2,331,429 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,429 )

How can I increase my downloads?


My notes