Satoru Kuroda

Welcome to the website of Satoru Kuroda.

I am a Professor at Gunma Prefectural Women's University, Department of Culture and Informatics.

I work in mathematical logic, especially Bounded Arithmetic and its relations to complexity theory.

Selected List of Publications

1. 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). https://doi.org/10.1142/9789811259296_0006

2. Sprague-Grundy theory in bounded arithmetic, Arch. Math. Logic 61, 233–262 (2022). https://doi.org/10.1007/s00153-021-00790-7

3. Forcing on Bounded Arithmetic for three sort and related theories, Publications of RIMS, 2150, pp.41-55.(2020)

4. Axiomatizing proof tree concepts in bounded arithmetic.Proceedings of Computer Science Logic 2012, Fontainebleau France, Leibniz International Proceedings in Informatics pp.459-473, (2012)

5. Recent topics on bounded arithmetic and complexity theory, Sugaku Exposition 24 No.1, American Mathematical Society, pp.73-91.(2011)

6. 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)

7. Generalized quantifier and a bounded arithmetic theory for LOGCFL. Arch. Math. Logic 46, 489–516 (2007). https://doi.org/10.1007/s00153-007-0052-4

8. Recursion schemata for slowly growing depth circuit classes, Comput. Complex. 13, 69–89 (2004). https://doi.org/10.1007/s00037-004-0184-4

9. An independence result for weak second order bounded arithmetic, Mathematical Logic Quarterly,47,pp.183--186, (2001). https://doi.org/10.1002/1521-3870(200105)47:2<183::AID-MALQ183>3.0.CO;2-Z

10. On a theory for AC^0 and the strength of the induction scheme, Mathematical Logic Quarterly,44 pp.417-426,(1998), https://doi.org/10.1002/malq.19980440312

Preprints

1. Formalizing Pfaffian in bounded arithmetic. manuscript.  arXiv:2404.01728v1, (2024)

2. (with Eitetsu Ken,) On matrix rank function over bounded arithmetics,  arXiv:2310.05982, (2023)

Talks

1. Provability of matrix properties in formal theories of linear algebra, Proof Theory 2023, RIMS, Kyoto, December 11-14, 2023 7-11

2. Linear Algebra in Bounded Arithmetic, Proof Theory Meeting, RIMS, Kyoto, December 20-22, 2021 

3. Bounded Arithmetic and Forcing, Tohoku University, June 7, 2021 

4. On Takeuti-Yasumoto forcing, Logic Colloquium 2019, Prague, August 11-16, 2019 (slide)

5. Forcing in bounded arithmetic for small complexity classes, CTFM 2019, Wuhan, March 21-27, 2019

6. Bounded Reverse Mathematics of Linear Algebra, Logic Colloquium 2025, Vienna, July  7-11, 2025

Manul Cats (aka Pallas' Cats)

• Pallas' Cat International Conservation Alliance

• Manul Working Group (MWG)

Links

• Gunma Prefectural Women's University

• Department of Culture and Informatics (from 2023)