Toshiyasu Arai
Author
Alternate name Toshiyasu Arai
Institution The University of Tokyo
Past institutions The University of Tokyo, Kobe University, Gunma Prefectural Women's University, Shizuoka University, Keio University +5 more
H-index: 12
I10-index: 16
Works count: 138
Citations count: 488
A bounded arithmetic AID for Frege systems
2000 · Toshiyasu Arai · Annals of Pure and Applied Logic
Proof theory for theories of ordinals—I: recursively Mahlo ordinals
2003 · Toshiyasu Arai · Annals of Pure and Applied Logic
Proof theory for theories of ordinals II: Π3-reflection
2004 · Toshiyasu Arai · Annals of Pure and Applied Logic