The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Toshiyasu Arai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  15. Epsilon substitution method for theories of jump hierarchies. [Citation Graph (, )][DBLP]


  16. Consistency proof via pointwise induction. [Citation Graph (, )][DBLP]


  17. Ordinal diagrams for recursively Mahlo universes. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002