Epsilon substitution method for -FIX

2006 ◽  
Vol 71 (4) ◽  
pp. 1155-1188 ◽  
Author(s):  
Toshiyasu Arai
Keyword(s):  
Substitution Method ◽  
Inductive Definitions ◽  
Termination Proof ◽  
Epsilon Substitution

AbstractIn this paper we formulate epsilon substitution method for a theory -FIX for nonmonotonic inductive definitions. Then we give a termination proof of the H-processes based on Ackermann [1].

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
Sign in / Sign up

Export Citation Format

Share Document