1. Zur Widerspruchsfreiheit der Zahlentheorie;Ackermann;Math. Ann.,1940
2. Introduction to finitary analyses of proof figures;Arai,1999
3. Epsilon substitution method for theories of jump hierarchies;Arai;Arch. Math. Logic,2002
4. Epsilon substitution method for ID1(Π10∨Σ10);Arai;Ann. Pure Appl. Logic,2003
5. T. Arai, Epsilon substitution method for [Π10,Π10]-FIX, Arch. Math. Logic (in press)