| Academic papers |
| No. | Ｔitle URL, Journal, Vol( No), Start Page- End Page, Publication date, DOI
|
| 1 | Equivalents of the finitary non-deterministic inductive definitions  , Annals of Pure and Applied Logic, 170( 10), 1256- 1272, Oct. 2019, 10.1016/j.apal.2019.05.005 |
| 2 | The binary expansion and the intermediate value theorem in constructive reverse mathematics , Archive for Mathematical Logic, 58( 1-2), 203- 217, Feb. 2019, 10.1007/s00153-018-0627-2 |
| 3 | A note on the independence of premiss rule , MATHEMATICAL LOGIC QUARTERLY, 62( 1-2), 72- 76, Feb. 2016, 10.1002/malq.201500032 |
| 4 | Some principles weaker than Markov's principle , ARCHIVE FOR MATHEMATICAL LOGIC, 54( 7-8), 861- 870, Nov. 2015, 10.1007/s00153-015-0444-9 |
| 5 | Generalized geometric theories and set-generated classes , Mathematical Structures in Computer Science, 29( 5), 1466- 1483, Nov. 2014, 10.1017/S0960129513000236 |
| 6 | Complete determinacy and subsystems of second order arithmetic , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5028, 457- 466, Jun. 2008, 10.1007/978-3-540-69407-6_49 |
| 7 | Infinite games in the Cantor space and subsystems of second order arithmetic , MATHEMATICAL LOGIC QUARTERLY, 53( 3), 226- 236, May. 2007, 10.1002/malq.200610041 |
| Conference Activities & Talks |
| No. | Ｔitle, URL, Presentation date, Vol( No), Start Page- End Page, Publication date
|
| 1 | Finite sets and infinite sets in weak intuitionistic arithmetic, , May. 2018, , 22- 22, May. 2018
|
| 2 | Finite sets and infinite sets in constructive reverse mathematics, , Oct. 2017, , なし- なし,
|
| 3 | Recursion theory in constructive mathematics, , Jul. 2017, , なし- なし,
|
| 4 | Intermediate value theorem and WKL for convex tree, , Nov. 2016, , なし- なし,
|
| 5 | Finitistically constructive Zermelo-Fraenkel set theory, , Apr. 2016, , なし- なし,
|
| 6 | Determinacy of Infinite Games and Reverse Mathematics: Complexity of Winning Strategies, , Jun. 29, 2015, , 13- 13,
|
| 7 | Making a detour via intuitionistic theories 窶錀 Embedding set theories into systems of explicit mathematics, , Jun. 24, 2013, , 0- 0,
|
| 8 | The proof theoretic strengths of determinacy between \Sigma^0_1 and \Delta^0_2, , Jul. 12, 2012, , 393- 393,
|
| 9 | A system of explicit mathematics and $\Pi_3$ reflection, , Jul. 2011, , 457- 458,
|
| 10 | Determinacy and $\Pi^1_1$ transfinite recursion along $\omega$, , Jul. 2011, , 0- 0,
|
