Research Interest
bounded arithmetic and its relation to computational complexity theory
application of logical method to linguistics
Papers and Preprints
Thesis
Journal articles
 On a theory for AC^0 and the strength of the induction scheme,
Mathematical Logic Quarterly,44 pp.417426,(1998)
 An independence result for weak second order bounded arithmetic,
Mathematical Logic Quarterly,47,pp.183186,(2001)
 Recursion schemata for slowly growing depth circuit classes,
Computational Complexity,13 (2004),pp.6989.
 Generalized quantifier and bounded arithmetic for LOGCFL,
Archive for Mathematical Logic,46(56),pp.489516. (2007)
 A survey on recent topics in bounded arithmetic (Japanese),
Sugaku, 602 (2008), pp.113131
Conference Proceedings
 Complete Problems and Bounded Arithmetic for LOGCFL,
Logical Approaches to Barriers in Computing and Complexity (2010)
Research reports
 Forcing on a nonstandard model of arithmetic,
Publication of RIMS
 Complexity theory and bounded arithmetic for truly feasible
computation, Publication of RIMS,1096,(1999)
 Models of bounded arithmetic, Publication of RIMS,1217,(2001)
 Complexity theoretical aspects of applicative theories
in connection with boolean circuit computations,
Publication of RIMS, 1301,(2003)
 Characterizations and problems on LOGCFL, Publication of RIMS,
1533, (2007)
Preprints

Complete problems and bounded arithmetic for LOGCFL,
in preparation.
Recent and Forthcoming Talks
 Generalized quantifier and logical system for LOGCFL,
Proof theory of arithmetic, RIMS, Kyoto University, 22 Aug 2006.
 Tutorial on the new aspects of bounded arithmetic,
Summer school on Logic, Seitoku University, 31 Aug2 Sep 2006
 Recent topics in bounded arithmetic, Invited talk at Mathematical
Society of Japan, Mathematical Logic and History of Mathematics Session,
21 Sep 2006.
 Tutorial on bounded arithmetic and proof complexity,
Mathematical Logic and Computational Complexity,
University of Electoronic Communication, 28 Dec 2006.
 Characterizations and Problems on LOGCFL,
Third Workshop on Lambda Calculus and Formal Grammar, NII,
29 Jan 2007.
 Bounded Arithmetic and LOGCFL
Logic Colloquium 2007, Wrocław,
15,July,2007.
 Complete Problems and Bounded Arithmetic for LOGCFL,
Logical Approaches to Barriers in Computing and Complexity, Greifswald,
1720, Feb 2010
Other staffs
Logic and Lingusitics Group in Gunma
satoru[at]gpwu[dot]ac[dot]jp">Satoru Kuroda