Satoru Kuroda
Gunma Prefectural Women's University
Department of Culture and Infromatics
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
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
Sprague-Grundy theory in bounded arithmetic, Arch. Math. Logic 61, 233–262 (2022). https://doi.org/10.1007/s00153-021-00790-7
Forcing on Bounded Arithmetic for three sort and related theories, Publications of RIMS, 2150, pp.41-55.(2020)
Axiomatizing proof tree concepts in bounded arithmetic.Proceedings of Computer Science Logic 2012, Fontainebleau France, 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)
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)
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
Recursion schemata for slowly growing depth circuit classes, Comput. Complex. 13, 69–89 (2004). https://doi.org/10.1007/s00037-004-0184-4
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
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
Formalizing Pfaffian in bounded arithmetic. manuscript. arXiv:2404.01728v1, (2024)
(with Eitetsu Ken,) On matrix rank function over bounded arithmetics, arXiv:2310.05982, (2023)
Talks
Provability of matrix properties in formal theories of linear algebra, Proof Theory 2023, RIMS, Kyoto, December 11-14, 2023
Linear Algebra in Bounded Arithmetic, Proof Theory Meeting, RIMS, Kyoto, December 20-22, 2021
Bounded Arithmetic and Forcing, Tohoku University, June 7, 2021
On Takeuti-Yasumoto forcing, Logic Colloquium 2019, Prague, August 11-16, 2019 (slide)
Forcing in bounded arithmetic for small complexity classes, CTFM 2019, Wuhan, March 21-27, 2019
Manul Cats (aka Pallas' Cats)