Abstract.
We apply Mints’ technique for proving the termination of the epsilon substitution method via cut-elimination to the system of Peano Arithmetic with Transfinite Induction given by Arai.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Ackermann, W.: Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann. 117, 162–194 (1940)
Arai, T.: Epsilon Substitution method for
Annals of Pure and Applied Logic 2003, 121 (2): 163–208Arai, T.: Epsilon substitution method for theories of jump hierarchies. Archive for Mathematical Logic 41, 123–153 (2002)
Hilbert, D.: Die logischen grundlagen der bathematik. Mathematische Annalen, 1923, 88, 151–165. Lecture given at the Deutsche Naturforscher-Gesellschaft, September 1922. English translation in Ewald (1996, 1134-1148)
Mints, G.: Gentzen-type systems and Hilbert’s epsilon substitution method. Logic, Method and Philosophy of Science. 91–122 1994, IX, Amsterdam, Elsevier
Mints, G.: Extension of epsilon substitution method to ID1, Streamlined version. Preprint 2003
Mints, G., Tupailo, S. : Epsilon-Substitution for the Ramified Language and Δ11-Comprehension Rule. Logic and Foundations of Mathematics. 107–130, 1999, Andrea Cantinia et. al., Kluwer Academic Publishers
Mints, G., Tupailo, S., Buchholz, W.: Epsilon substitution method for elementary analysis. Archive for Mathematical Logic 35, 103–130 (1996)
Annals of Pure and Applied Logic 2003, 121 (2): 163–208Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Towsner, H. Epsilon substitution for transfinite induction. Arch. Math. Logic 44, 397–412 (2005). https://doi.org/10.1007/s00153-004-0241-3
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-004-0241-3