Takako Nemoto

According to our database1, Takako Nemoto authored at least 7 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
The binary expansion and the intermediate value theorem in constructive reverse mathematics.
Arch. Math. Log., 2019

2016
A note on the independence of premiss rule.
Math. Log. Q., 2016

2015
Generalized geometric theories and set-generated classes.
Mathematical Structures in Computer Science, 2015

Some principles weaker than Markov's principle.
Arch. Math. Log., 2015

2009
Determinacy of Wadge classes and subsystems of second order arithmetic.
Math. Log. Q., 2009

2008
Complete Determinacy and Subsystems of Second Order Arithmetic.
Proceedings of the Logic and Theory of Algorithms, 2008

2007
Infinite games in the Cantor space and subsystems of second order arithmetic.
Math. Log. Q., 2007


  Loading...