Hiroshima Institute of Technology

Researchers Information System

Japanese English

TOP
Search by Faculty
or Department
Search by Keyword
Search by Research
Field
Detailed Search

Hiroshima Institute of Technology top

NEMOTO Takako

Profile Research field Research achievement

 

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,