scholarly journals Ideas in the epsilon substitution method for Π10-FIX

2005 ◽  
Vol 136 (1-2) ◽  
pp. 3-21 ◽  
Author(s):  
Toshiyasu Arai
Keyword(s):  
Substitution Method ◽  
Epsilon Substitution

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