| 論文 |
単著 |
Linear algebra in bounded arithmetic |
数理解析研究所講究録 2228, pp.78-87. |
2022 |
| 単著 |
Takeuti-Yasumoto Forcing Revisited |
Computability Theory and Foundations of Mathematics, Proceedings of the 9th International Conference on Computability Theory and Foundations of Mathematics, Wuhan China, World Scientific, pp. 123-155 |
2022 |
| 単著 |
Sprague-Grundy theory in bounded arithmetic |
Archive for Mathematical Logic volume 61, pp.233-262 |
2022 |
| 単著 |
Forcing on Bounded Arithmetic for three sort and related theories |
数理解析研究所講究録 2150, pp.41-55. |
2020 |
| 単著 |
Axiomatizing proof tree concepts in bounded arithmetic. |
Proceedings of Computer Science Logic 2012, Leibniz International Proceedings in Informatics pp.459-473 |
2012 |
| 単著 |
Recent topics on bounded arithmetic and complexity theory. |
Sugaku Exposition 24 No.1, American Mathematical Society, pp.73-91. |
2011 |
| 単著 |
Lindstrom quantifier and bounded arithmetic for LOGCFL, |
数理解析研究所講究録 1729, pp.67-83. |
2011 |
| 単著 |
Complete Problems and Bounded Arithmetic for LOGCFL |
Proceedings of "Logical Approaches to Barriers in Computing and Complexity", Ernst-Moritz-Arndt--Universitat Greifswald, pp.71-74 |
2010 |
| 単著 |
限定算術と計算量理論の最近の話題 |
日本数学会『数学』,60巻,第2号,pp.113-131, |
2008 |
| 単著 |
Characterizations and problems on LOGCFL |
数理解析研究所講究録,1533,pp.24-38 |
2007 |
| 単著 |
Generalized Quantifier and a Bounded Arithmetic theory for LOGCFL |
Archive for Mathematical Logic,46(5-6),pp489-516 |
2007 |
| 単著 |
Weak bounded arithmetic and Boolean circuit complexity |
博士学位論文，名古屋大学大学院人間情報学研究科 |
2005 |
| 単著 |
Logical characterizations of LOGSPACE |
数理解析研究所講究録，1442, pp.68-76 |
2005 |
| 単著 |
Recursion schemata for slowly growing depth circuit classes |
Computational Complexity, 13, pp.69-89. |
2004 |
| 単著 |
An independence result for weak second order bounded arithmetic |
Mathematical Logic Quarterly,47,pp.183--186 |
2001 |
| 単著 |
Models of bounded arithmetic |
数理解析研究所講究録,1217,pp.45-60 |
2001 |
| 単著 |
Complexity theory and bounded arithmetic for truly feasible computation |
数理解析研究所講究録,1096,pp.35-50 |
1999 |
| 単著 |
On a theory for AC^0 and the strength of the induction scheme |
Mathematical Logic Quarterly,44 pp.417-426, |
1998 |
| 単著 |
Forcing on a nonstandard model of arithmetic |
数理解析研究所講究録, 912, pp.47-56 |
1994 |
| 訳書 |
共訳 |
「数学の基礎についての論考 － 確かさを求めて」 |
培風館 |
2007 |
| 共訳 |
「数学の基礎をめぐる論争」 |
シュプリンガー?フェアラーク東京 |
1999 |
| 書評 |
単著 |
ジョン?スティルウェル 著，田中一之 監訳，川辺治之 訳：逆数学―定理から公理を「証明」する― |
数学通信，24(3)，pp. 88-92，日本数学会， |
2019 |
| その他 |
共編 |
Advances in Mathematical Logic: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions (Springer Proceedings in Mathematics & Statistics, 369) |
Springer |
2022 |
| 単著 |
「限定逆数学」 |
数学セミナー，2021年2月号，pp.20-23 |
2021 |
