Satoru Kuroda

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalizing Pfaffian in bounded arithmetic (available as arXiv preprint)	N/A	Paper
On matrix rank function over bounded arithmetics	2023-10-05	Paper
Takeuti-Yasumoto Forcing Revisited Computability Theory and Foundations of Mathematics	2023-08-25	Paper
Sprague-Grundy theory in bounded arithmetic Archive for Mathematical Logic	2022-03-22	Paper
Developing Takeuti-Yasumoto forcing	2018-04-10	Paper
Sprague-Grundy theory in bounded arithmetic	2016-09-08	Paper
Axiomatizing proof tree concepts in bounded arithmetic	2012-11-22	Paper
Recent topics on bounded arithmetic and complexity theory	2011-08-16	Paper
Generalized quantifier and a bounded arithmetic theory for LOGCFL Archive for Mathematical Logic	2007-06-07	Paper
Recursion schemata for slowly growing depth circuit classes Computational Complexity	2005-02-23	Paper
scientific article; zbMATH DE number 1788926 (Why is no real title available?)	2002-08-26	Paper
scientific article; zbMATH DE number 1788927 (Why is no real title available?)	2002-08-26	Paper
An independence result on weak second order bounded arithmetic Mathematical Logic Quarterly (MLQ)	2002-05-13	Paper
scientific article; zbMATH DE number 1511942 (Why is no real title available?)	2000-09-27	Paper
scientific article; zbMATH DE number 1305946 (Why is no real title available?)	1999-11-08	Paper
On a Theory for AC0 and the Strength of the Induction Scheme Mathematical Logic Quarterly	1999-01-11	Paper

Research outcomes over time

This page was built for person: Satoru Kuroda