Epsilon substitution for transfinite induction

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.

• Type: Journal
• Year: 2005
• Where: AML
• Authors: Henry Towsner
• Keywords: AML 2005, Epsilon Substitution, Peano Arithmetic, Transfinite Induction