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. (with Eitetsu Ken,) On matrix rank function over bounded arithmetics,  Annals of Pure and Applied Logic, (2026), https://doi.org/10.1016/j.apal.2026.103852

2. 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

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

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

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

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

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

8. 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

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

10. 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

11. 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. Bounded reverse mathematics of Pfaffian and matchings. in preparation (2026)

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

Talks

1. Bounded reverse mathematics of Pfaffian and matchings,  Fall meeting of the Mathematical Society of Japan, Kobe, September 1-4, 2026.

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

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

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

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

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

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

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)