Epsilon substitution method for [Π01, Π01]-FIX

2005 ◽  
Vol 44 (8) ◽  
pp. 1009-1043 ◽  
Author(s):  
T. 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