Academic papers |
No. | Title 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. | Title, 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,
|