Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 (1996), pp. 103–130.

2000 ◽  
Vol 6 (3) ◽  
pp. 356-357
Author(s):  
Ulrich Kohlenbach
Keyword(s):  
Mathematical Logic ◽  
Substitution Method ◽  
Epsilon Substitution ◽  
Elementary Analysis

scholarly journals Epsilon substitution method for elementary analysis

1996 ◽  
Vol 35 (2) ◽  
pp. 103-130
Author(s):  
Grigori Mints ◽  
Sergei Tupailo ◽  
Wilfried Buchholz
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution ◽  
Elementary Analysis

scholarly journals Epsilon substitution method for elementary analysis

1996 ◽  
Vol 35 (2) ◽  
pp. 103-130 ◽  
Author(s):  
Grigori Mints ◽  
Sergei Tupailo ◽  
Wilfried Buchholz
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution ◽  
Elementary Analysis

Strong termination for the epsilon substitution method

1996 ◽  
Vol 61 (4) ◽  
pp. 1193-1205 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Arbitrary Order ◽  
Substitution Method ◽  
First Order ◽  
Epsilon Substitution ◽  
Order Arithmetic ◽  
Special Order ◽  
Strong Termination

AbstractAckermann proved termination for a special order of reductions in Hilbert's epsilon substitution method for the first order arithmetic. We establish termination for arbitrary order of reductions.

Sign in / Sign up

Export Citation Format

Share Document