| |
| 2008 | ||
|---|---|---|
| 18 | EE | Toshiyasu Arai: Non-elementary speed-ups in logic calculi. Math. Log. Q. 54(6): 629-640 (2008) |
| 2006 | ||
| 17 | EE | Toshiyasu Arai, Naohi Eguchi: A new function algebra of EXPTIME functions by safe nested recursion CoRR abs/cs/0607118: (2006) |
| 2005 | ||
| 16 | EE | Toshiyasu Arai, Georg Moser: Proofs of Termination of Rewrite Systems for Polytime Functions. FSTTCS 2005: 529-540 |
| 15 | EE | Toshiyasu Arai: Ideas in the epsilon substitution method for II 1 0-FIX. Ann. Pure Appl. Logic 136(1-2): 3-21 (2005) |
| 2004 | ||
| 14 | EE | Toshiyasu Arai: Proof theory for theories of ordinals II: Pi3-reflection. Ann. Pure Appl. Logic 129(1-3): 39-92 (2004) |
| 2003 | ||
| 13 | EE | Toshiyasu Arai: Epsilon substitution method for ID1(Pi10 or Sigma10). Ann. Pure Appl. Logic 121(2-3): 163-208 (2003) |
| 12 | EE | Toshiyasu Arai: Proof theory for theories of ordinals - I: recursively Mahlo ordinals. Ann. Pure Appl. Logic 122(1-3): 1-85 (2003) |
| 2002 | ||
| 11 | EE | Toshiyasu Arai: Epsilon substitution method for theories of jump hierarchies. Arch. Math. Log. 41(2): 123-153 (2002) |
| 10 | EE | Toshiyasu Arai: On the Slowly Well Orderedness of epsilon0. Math. Log. Q. 48(1): 125-130 (2002) |
| 2000 | ||
| 9 | Toshiyasu Arai: A Bounded Arithmetic AID for Frege Systems. Ann. Pure Appl. Logic 103(1-3): 155-199 (2000) | |
| 8 | EE | Toshiyasu Arai: Ordinal diagrams for recursively Mahlo universes. Arch. Math. Log. 39(5): 353-391 (2000) |
| 7 | Toshiyasu Arai: Ordinal Diagrams for PI3-Reflection. J. Symb. Log. 65(3): 1375-1394 (2000) | |
| 6 | EE | Toshiyasu Arai, Grigori Mints: Extended normal form theorems for logical proofs from axioms. Theor. Comput. Sci. 232(1-2): 121-132 (2000) |
| 1998 | ||
| 5 | Toshiyasu Arai: Some Results on Cut-Elimination, Provable Well-Orderings, Induction, and Reflection. Ann. Pure Appl. Logic 95(1-3): 93-184 (1998) | |
| 4 | EE | Toshiyasu Arai: Consistency proof via pointwise induction. Arch. Math. Log. 37(3): 149-165 (1998) |
| 3 | Toshiyasu Arai: Variations on a Theme by Weiermann. J. Symb. Log. 63(3): 897-925 (1998) | |
| 1991 | ||
| 2 | Toshiyasu Arai: A Slow Growing Analogue to Buchholz' Proof. Ann. Pure Appl. Logic 54(2): 101-120 (1991) | |
| 1990 | ||
| 1 | Toshiyasu Arai: Derivability Conditions on Rosser's Provability Predicates. Notre Dame Journal of Formal Logic 31(4): 487-497 (1990) | |
| 1 | Naohi Eguchi | [17] |
| 2 | Grigori Mints | [6] |
| 3 | Georg Moser | [16] |